Statecharts in CSP ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts

Zugl.: Berlin, Techn. Univ., Diss., 1998

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hiemer, Jan-Juan (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Hamburg Kovač 1999
Schriftenreihe:	Schriftenreihe Forschungsergebnisse zur Informatik 48
Schlagworte:	Hochschulschrift > CSP > Statechart > Statemate > Model Checking
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!