- Title:
Reachset Conformance Testing of Hybrid Automata
- Document type:
- Konferenzbeitrag
- Author(s):
- Roehm, H.; Oehlerking, J.; Woehrle, M.; Althoff, M.
- Pages contribution:
- 277-286
- Book / Congress title:
- Proc. of Hybrid Systems: Computation and Control
- Year:
- 2016
- Fulltext / DOI:
- doi:10.1145/2883817.2883828
- BibTeX