FB 3

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Artikel in Konferenzband
Autor:	B. Krieg-BrÃ¼ckner, J. Peleska, E.-R. Olderog, D. Balzer, A. Baer
Herausgeber:	U. Grote, G. Wolf
Titel:	UniForM, Universal Formal Methods Workbench
Buch / Sammlungs-Titel:	Statusseminar des BMBF: Softwaretechnologie
Seite(n):	337 – 356
Erscheinungsjahr:	1993
Verleger:	Deutsche Forschungsanstalt fÃ¼r Luft- und Raumfahrt, Berlin
Status:	Reviewed
Letzte Aktualisierung:	30. 12. 2002

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023