Tools for system development and verification workshop, proceedings [of the Workshop on Tool Support for System Development and Verification], Bremen, Germany, July 1996

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Tool Support for System Development and Verification (BerichterstatterIn)
Weitere Verfasser:	Peleska, Jan (BerichterstatterIn), Buth, Bettina (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Aachen Shaker 1998
Ausgabe:	Als Ms. gedr.
Schriftenreihe:	BISS monographs 1
Schlagworte:	Konferenzschrift > Systementwicklung > Formale Methode > Formale Spezifikationstechnik > Verifikation
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!