Cyber-Physical Systems

PUBLICATIONS

In: 9th International Conference on Tests & Proofs (TAP). International Conference on Test & Proofs (TAP-09) 9th July 20-24 L’Aquila Italy 2015.

To the publication

In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18) August 26-28 Funchal (Madeira) Portugal 2015.

To the publication

In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

To the publication

In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

To the publication

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13) March 18-22 Grenoble France IEEE 2013.

To the publication

In: G. Rozenberg, H.-J. Kreowski, G. Engels, H. Ehrig (editor). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling and Analysis of Dynamic Structures". International Conference on Graph Transformation (ICGT-2012) 6th, - Modeling and Analysis of Dynamic Structures - September 24-29 Bremen Germany Lecture Notes in Computer Science (LNCS) 7562 Springer 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