Cyber-Physical Systems

PUBLIKATIONEN

In: Bernd Krieg-Brückner, P. Mosses (Hrsg.). The CASL Reference Manual. LNCS 2960 Springer 2004.

Zur Publikation

In: Journal of Logic and Algebraic Programming (JLAP) Elsevier 2004.

Zur Publikation

In: Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 2002). International Workshop on Algebraic Development Techniques (WADT-2002) Frauenchiemsee Germany Seiten 82-117 Lecture Notes in Computer Science 2755 Springer 2003.

Zur Publikation

Workshop-proceedings, Formal Methods Europe at FLoC-2002, also DIKU-Report Copenhagen, Denmark 2002.

Zur Publikation

In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002) Springer-Verlag, LNCS 2002.

Zur Publikation

In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering (FASE) Springer, LNCS 2001.

Zur Publikation

In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. ACM International Conference on Interactive Tabletops and Surfaces (ITS) Montreal QC Canada Seiten 54-61 2000.

Zur Publikation

In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE) Townsville Seiten 291-305 Springer-Verlag, LNAI 1249 1997.

Zur Publikation

Kontakt

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

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