Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik

Zugl.: Stuttgart, Univ., Diss., 2006 (Nicht für den Austausch)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Bitsch, Friedemann (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Aachen Shaker 2007
Schriftenreihe:	IAS-Forschungsberichte 2007,1
Schlagworte:	Hochschulschrift > Automatisierungssystem > Ausfallsicheres System > Anforderungsdefinition > Entwurfsmuster > Formale Spezifikationstechnik > TLA
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!