Publications
Page 2 of 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 …
Overview
Team
Projects
News
Jobs
Office: Shannon Kittrell, B.A. Phone: +49 631 20575 4010fbei-sek@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Research Department Embedded Intelligence Trippstadter Str. 122 67663 Kaiserslautern Germany