Benutzer: Gast  Login
Titel:

A Hybrid Testbed for Verification of Cyber-physical Production Systems

Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
Christof Budnik, Sebastian Eckl and Marco Gario
Kongress- / Buchtitel:
4th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Datum der Konferenz:
April 17, 2017
Publikationsdatum:
17.04.2017
Jahr:
2017
Jahr / Monat:
2017-04
Reviewed:
ja
WWW:
https://easychair.org/publications/paper/342731
TUM Einrichtung:
Fakultät für Informatik
 BibTeX