Cyber-Physical Systems

PUBLICATIONS

In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012) September 18-20 Vienna Austria IEEE 2012.

To the publication

In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012) September 18-20 Vienna Austria IEEE 2012.

To the publication

In: Proceedings of the IEEE International Workshop on High-Level Design Validation and Test 2012. IEEE International Workshop on High-Level Design Validation and Test (HLDVT-2012) November 9-10 Huntington Beach CA United States IEEE 2012.

To the publication

In: Proceedings of IEEE International Design and Test Symposium. IEEE International Design and Test Symposium (IDT-12) December 15-17 Doha Qatar IEEE 2012.

To the publication

In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12) 17th January 30-February 2 Sydney New South Wales Australia 2012.

To the publication

In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12) March 12-16 Dresden Germany 2012.

To the publication

In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12) March 12-16 Dresden Germany 2012.

To the publication

In: Conference Proceedings Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-12) March 12-16 Dresden Germany 2012.

To the publication

In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI 2012. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012) August 19-21 Amherst Masachusetts United States IEEE 2012.

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