Auflistung nach Autor Bitsch, Friedemann
Anzeige der Treffer 2 bis 2 von 2
< zurück
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2007 | Verfahren zur Spezifikation funktionaler Sicherheitsanforderungen für Automatisierungssysteme in Temporallogik | Bitsch, Friedemann |