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