Login
- Title:
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
- Document type:
- Konferenzbeitrag
- Author(s):
- Bak, S.; Bogomolov, S.; Althoff, M.
- Book / Congress title:
- Proc. of the 15th International Conference on Formal Modelling and Analysis of Timed Systems
- Year:
- 2017
- Fulltext / DOI:
- doi:10.1007/978-3-319-65765-3_8
BibTeX