- Titel:
Reachset Conformance Testing of Hybrid Automata
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Roehm, H.; Oehlerking, J.; Woehrle, M.; Althoff, M.
- Seitenangaben Beitrag:
- 277-286
- Kongress- / Buchtitel:
- Proc. of Hybrid Systems: Computation and Control
- Jahr:
- 2016
- Volltext / DOI:
- doi:10.1145/2883817.2883828
- BibTeX