Publikationen
- S. Henkler and M. Hirsch, “Contract-based Digital Twin Synthesis for Autonomous Safety Critical Systems,” in Proceedings of the 56th Hawaii International Conference on System Sciences, 2023, pp. 6778–6787.
- A. Wojtok, D. Grimm, and M. Hirsch, “Multi-agent system to the rescue!,” in Dortmund International Research Conference 2017 : Conference proceedings, Dortmund: Fachhochschule Dortmund, 2017, p. ohne Seitenangabe-ohne Seitenangabe.
- C. Brink, M. Hirsch, and S. Sachweh, “Kombinierte Entwicklung und Konfiguration von Hardware- und Software-Produktlinien unter Berücksichtigung von deren Abhängigkeiten,” in Tagungsband des Dagstuhl-Workshops MBEES : Modellbasierte Entwicklung eingebetteter Systeme XI ; Schloss Dagstuhl, Germany, Mrz. 2015, München: Fortiss GmbH, 2015, pp. 7–16 [Online]. Available: http://www.in.tu-clausthal.de/fileadmin/homes/GI/Documents/MBEES15Proceedings.pdf