Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Modeling Specification and Verification of an Emergency Closing System.

FLAIRS. 2000 S. 356 - 360

Erscheinungsjahr: 2000

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Website
Geprüft:Bibliothek

Autoren

Stephan, Werner (Autor)
Rock, Georg (Autor)
Brodski, Michael (Autor)

Verknüpfte Personen

Georg Rock

Beteiligte Einrichtungen

Logo Informatik