Publikationen

Zeige Ergebnisse 41 bis 50 von 98

In: Formal Modeling and Verification of Cyber Physical Systems. Seiten 224-248 ISBN 978-3-658-09993-0 Springer Heidelberg 9/2015.

Zur Publikation

In: Proceedings of the 13th Symposium on Advanced Space Technologies in Robotics and Automation. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2015) ESA 2015.

Zur Publikation

Poster DFKI GmbH, Universität Bremen DFKI Documents (D) 14-07 11/2014.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence