Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik
Zugl.: Stuttgart, Univ., Diss., 2006 (Nicht für den Austausch)
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | ger |
| Veröffentlicht: |
Aachen
Shaker
2007
|
| Schriftenreihe: | IAS-Forschungsberichte
2007,1 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Zugl.: Stuttgart, Univ., Diss., 2006 (Nicht für den Austausch) |
|---|---|
| Beschreibung: | Auch als elektronische Ressource erschienen |
| Beschreibung: | XIV, 175 S Ill., graph. Darst 21 cm |
| ISBN: | 3832260358 3-8322-6035-8 9783832260354 978-3-8322-6035-4 |