Login
- Titel:
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Bak, S.; Bogomolov, S.; Althoff, M.
- Kongress- / Buchtitel:
- Proc. of the 15th International Conference on Formal Modelling and Analysis of Timed Systems
- Jahr:
- 2017
- Volltext / DOI:
- doi:10.1007/978-3-319-65765-3_8
BibTeX