Michael Rauscher
Agentenbasierte Konsistenzprüfung heterogener Modelle in der Automatisierungstechnik