Cyber-Physical Systems

PUBLIKATIONEN

In: Michael Freitag, Herbert Kotzab, Jürgen Pannek (Ed) (Hrsg.). 5th International Conference on Dynamics in Logistics (LDIC 2016). International Conference on Dynamics in Logistics (LDIC-2016) Seiten 3-17 Lecture Notes in Logistics Springer 2016.

Zur Publikation

In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016) September 14-16 Bremen Germany ECSI - European Electronic Chips and Systems design Initiative 2016.

Zur Publikation

In: Heather Miller, Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14) 5th Annual Scala Workshop befindet sich ECOOP 2014 July 28-29 Uppsala Sweden Seiten 63-66 ISBN 978-1-4503-2868-5 ACM New York 7/2014.

Zur Publikation

In: G. Klein, R. Gamboa (Hrsg.). Interactive Theorem Proving ITP 2014. International Conference on Interactive Theorem Proving (ITP-2014) befindet sich Vienna Summer of Logic July 14-17 Wien Austria Seiten 467-482 Lecture Notes in Computer Science (LNCS) 8558 Springer Verlag 7/2014.

Zur Publikation

In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop April 14-14 Berlin Germany Seiten 4-7 4/2014.

Zur Publikation

In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14) May 13-15 Warschau Poland VDE 2014.

Zur Publikation

In: Jacques Carette (Hrsg.). Conferences on Intelligent Computer Mathematics CICM 2013. Conferences on Intelligent Computer Mathematics (CICM-13) Seiten 326-329 Lecture Notes in Artificial Intelligence (LNAI) 7961 Springer 7/2013.

Zur Publikation

In: Kevin McMillan, Aart Middeldorp, Andrei Voronkov (Hrsg.). Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2013) 19th December 14-19 Stellenbosch South Africa Seiten 53-70 Lecture Notes in Computer Science 8312 Springer 2013.

Zur Publikation

In: Margaria Tiziana, Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12) October 15-18 Amirandes, Heraclion, Crete Greece Seiten 238-252 Lecture Notes in Computer Science (LNCS) 7609 Springer 10/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