Predicate diagrams as basis for the verification of reactive systems

Bibliographische Detailangaben

1. Verfasser:	Nugraheni, Cecilia E. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	München Hieronymus 2004
Ausgabe:	Als Typoskript gedr.
Schriftenreihe:	Informatik
Schlagworte:	Reaktives System Endlicher Graph Formale Spezifikationstechnik Prädikat > Logik TLA > Logik Verifikation Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!