Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata

Bibliographische Detailangaben

1. Verfasser:	Beyer, Dirk 1972- (VerfasserIn)
Format:	Abschlussarbeit Buch
Sprache:	German
Veröffentlicht:	2002
Schlagworte:	Zustandsgraph Zeitbehafteter Automat Verteiltes System Verifikation Modularität Reaktives System Binäres Entscheidungsdiagramm Formale Methode Hochschulschrift
Online-Zugang:	kostenfrei kostenfrei kostenfrei
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!