Starten Sie Ihre Suche...


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

Using Hybrid Automata to Express Realtime Properties in VSE-II.

FLAIRS. 2001 S. 640 - 644

Erscheinungsjahr: 2001

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Website
Geprüft:Bibliothek

Autoren

Nonnengart, Andreas (Autor)
Rock, Georg (Autor)
Stephan, Werner (Autor)

Verknüpfte Personen

Georg Rock

Beteiligte Einrichtungen

Logo Informatik