Cyber-Physical Systems

PUBLICATIONS

In: Formal Methods in Computer-Aided Design 2012. Formal Methods in Computer-Aided Design (FMCAD-2012) October 22-25 Cambridge England United Kingdom 2012.

To the publication

Contact

Office:
Kristiane Schmitt, M.A.
Phone: +49 421 218 59840

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen

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