Publikationen

Zeige Ergebnisse 1 bis 4 von 4

In: Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96) 3rd March 17-21 Oxford United Kingdom Seiten 168-286 Lecture Notes In Computer Science (LNCS) 1051 ISBN 3-540-60973-3 Springer-Verlag London, UK 1996.

Zur Publikation

In: Journal of High Integrity Systems 1 6 Seiten 523-530 Oxford University Press 1996.

Zur Publikation

In: Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops February 27-March 3 Schloß Dagstuhl Germany 1995.

Zur Publikation

In: Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT) June 22-23 Kaiserlautern Germany 1995.

Zur Publikation

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