Publikationen

Zeige Ergebnisse 1 bis 10 von 12

In: International Journal on Software Tools for Technology Transfer 3 1 Seiten 66-77 Springer Berlin, Heidelberg 2000.

Zur Publikation

In: Tool Support for System Specification, Development and Verification. International Workshop Tool Support for System Specification, Development and Verification Seiten 217-229 Advances in Computing Science Springer 1999.

Zur Publikation

In: Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99) München Germany Seiten 185-192 Herbert Utz Verlag 1999.

Zur Publikation

In: Proceedings Workshop Sicherheit und Zuverlässigkeit software-basierter Systeme. Joint German ENCRESS / ISA-EUNET Event (ENCRESS-99) 3rd May 3-5 Bad Honnef Germany Seiten 138-152 Bericht ISTec-A-367 ISBN 3-00-004872-3 ISTec 1999.

Zur Publikation

In: Proceedings Current Trends in Applied Formal Methods. International Workshop on Current Trends in Applied Formal Methods (FM-Trends-98) Boppard Germany Seiten 351-358 Lecture Notes in Computer Science (LNCS) 1641 ISBN 978-3-540-66462-8 Springer-Verlag Berlin, Heidelberg 1999.

Zur Publikation

In: Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-98) 8. June 4-5 Cottbus Germany Seiten 125-135 Shaker Verlag Aachen 1998.

Zur Publikation

In: INCOM '98 Workshop on Formal verification for Automation Engineering. IFAC Symposium on Information Control in Manufacturing (INCOM) Seiten 121-126 1998.

Zur Publikation

In: 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT) GMD-Studien 315 GMD 1997.

Zur Publikation

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

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