Publikationen

In: K. Breitman , A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

Zur Publikation

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

Zur Publikation

In: Proc. 13th Intern. FLAIRS Conf.. International FLAIRS Conference (FLAIRS) AAAI Press 2000.

Zur Publikation

In: J. Woodcock , M. C. Gaudel (Hrsg.). 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: William John Cullyer , Wolfgang A. Halang , Bernd J. Krämer (Hrsg.). 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: R. Gotzhein , J. Bredereke (Hrsg.). 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