Cyber-Physical Systems

PUBLICATIONS

In: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-15) September 29-October 2 Wien Austria 2017.

To the publication

In: Proceedimgs of the 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS). ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS-2016) October 2-7 Saint-Malo France 2016.

To the publication

In: 13th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-13) Saint-Malo France 2016.

To the publication

In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-16) November 18-20 Kanpur India 2016.

To the publication

In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE). ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE-16) November 18-20 Kanpur India 2016.

To the publication

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-16) 6th December 15-17 Patna India IEEE 2016.

To the publication

In: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-18) March 3-4 Chemnitz Germany 3/2015.

To the publication

Contact

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

German Research Center for Artificial Intelligence GmbH
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