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