Skip to main content Skip to main navigation

Dr. rer. nat. Andreas Nonnengart

Kontakt +49 681 85775 5366 (Saarbrücken)

http://www.dfki.de/~nonnenga/
Adresse (Saarbrücken) Gebäude D3 1Stuhlsatzenhausweg 3D-66123 Saarbrücken

Publikationen

Andreas Nonnengart; Matthias Klusch; Christian Müller

In: Proceedings of International Workshop on Formal Methods for Autonomous Systems. International Workshop on Formal Methods for Autonomous Systems (FMAS-2019), located at 3rd World Congress on Formal Methods, October 7-11, Porto, Portugal, Springer, 2019.

Zur Publikation

I. Zinnikus; Andre Antakli; Patrick Kapahnke; Matthias Klusch; Christopher Krauss; Andreas Nonnengart; Philipp Slusallek

In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI). IEEE Conference on Business Informatics (CBI-2017), 19th, July 24-26, Thessaloniki, Greece, IEEE Press, 2017.

Zur Publikation

Profil

  • ProForm

    Formale Methoden für die Steuerung von Produktionsanlagen

    Gegenstand der Forschungsarbeiten von ProForm ist es, erzielte Resultate im Bereich Formaler Methoden für die Entwicklung von Software zur Steuerung industrieller Produktionsprozesse nutzbar zu…