Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz 
Autor(en):
Christof Budnik, Sebastian Eckl and Marco Gario 
Titel:
A Hybrid Testbed for Verification of Cyber-physical Production Systems 
Kongress- / Buchtitel:
4th Int. Workshop on Applied Verification for Continuous and Hybrid Systems 
Konferenzort:
CMU campus alongside CPSWeek, Pittsburgh, USA 
Datum der Konferenz:
April 17, 2017 
Publikationsdatum:
17.04.2017 
Jahr:
2017 
Jahr / Monat:
2017-04 
Reviewed:
ja 
TUM Einrichtung:
Fakultät für Informatik