A Formal Approach for Railroad Traffic Modelling Using Timed Automata
Crossref DOI link: https://doi.org/10.1007/978-3-319-91334-6_42
Published Online: 2018-06-03
Published Print: 2019
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Avram, Camelia
Bezerra, Karolina
Radu, Dan
Machado, Jose
Astilean, Adina
License valid from 2018-06-03