Cyber-Physical Systems

PUBLICATIONS

In: 2nd International Workshop on Quantum Compilation (IWQC, co-located with ICCAD). International Workshop on Quantum Compilation (IWQC-02) November 8-8 San Diego CA United States 2018.

To the publication

In: Iain Phillips, Hafizur Rahaman (editor). Reversible Computation 2017. Reversible Computation (RC-17) July 6-7 Kolkata India Lectures Notes in Computer Science (LNCS) Springer Heidelberg 2017.

To the publication

In: ECMFA 2017. European Conference on Modelling Foundations and Applications (ECMFA-17) located at STAF Springer 2017.

To the publication

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: 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

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