Publikationen
Seite 2 von 2.
Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz
In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, …
José de Gea Fernández; Johannes Lemburg; Thomas M. Roehr; Malte Wirkus; Iliya Gurov; Frank Kirchner
In: ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation. IEEE International Conference on …
Übersicht
Team
Projekte
News
Jobs
Sekretariat: Shannon Kittrell, B.A. Tel.: +49 631 20575 4010fbei-sek@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Forschungsbereich Eingebettete Intelligenz Trippstadter Str. 122 67663 Kaiserslautern Deutschland