Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten

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

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Seifert, Dirk (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Aachen Shaker 2007
Schriftenreihe:	Berichte aus der Informatik
Schlagworte:	Hochschulschrift > Eingebettetes System > CAT > Endlicher Automat > UML > Asynchronbetrieb > Nichtdeterminismus
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!