Formale Sicherheitsanalyse

Zugl.: Augsburg, Univ., Diss., 2005

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ortmeier, Frank (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin Logos-Verl. 2006
Schlagworte:	Hochschulschrift > Eingebettetes System > Sicherheitskritisches System > Sicherheitsanalyse > Formale Methode > Fehlerbaumanalyse > Statechart
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!