Cyber-Physical Systems

PUBLIKATIONEN

In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013) 43rd May 22-24 Toyama Japan IEEE 2013.

Zur Publikation

In: IEEE Design & Test of Computers 29 4 Seiten 63-70 IEEE Press 7/2012.

Zur Publikation

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

Zur Publikation

In: Proceedings. IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-12) 15th April 18-20 Tallinn Estonia IEEE 2012.

Zur Publikation

In: Reversible Computation 2011, Series: Lecture Notes in Computer Science (LNCS) Reversible Computation. Workshop on Reversible Computation (RC-2011) 3rd July 4-5 Gent Belgium Seiten 64-76 Lecture Notes in Computer Science (LNCS) 7165 Springer 2012.

Zur Publikation

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-2012) December 19-22 Kolkata India 2012.

Zur Publikation

In: International Symposium on Electronic System Design. International Symposium on Electronic System Design (ISED-2012) December 19-22 Kolkata India 2012.

Zur Publikation

In: International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2012) October 7-12 Tampere Finland ACM 2012.

Zur Publikation

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

Zur Publikation

Kontakt

Sekretariat:
Kristiane Schmitt, M.A.
Tel.: +49 421 218 59840

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

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen

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