Formale Fehlerbaumanalyse

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Thums, Andreas 1973- (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	2004
Schlagworte:	Formale Semantik Temporale Logik Verifikation Fehlerbaumanalyse Sicherheitskritisches System Formale Methode Eingebettetes System Statechart Softwarespezifikation Sicherheitsanalyse Hochschulschrift
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Formale Fehlerbaumanalyse von Thums, Andreas 1973-

Veröffentlicht 2004

kostenfrei

Elektronisch E-Book