User: Guest  Login
Title:

A Hybrid Testbed for Verification of Cyber-physical Production Systems

Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
Christof Budnik, Sebastian Eckl and Marco Gario
Book / Congress title:
4th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Date of congress:
April 17, 2017
Date of publication:
17.04.2017
Year:
2017
Year / month:
2017-04
Reviewed:
ja
WWW:
https://easychair.org/publications/paper/342731
TUM Institution:
Fakultät für Informatik
 BibTeX