Spatio-temporal model checking of vehicular movement in public transport systems
Ciancia, Vincenzo, Gilmore, Stephen, Grilletti, Gianluca, Latella, Diego, Loreti, Michele, Massink, MiekeLanguage:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-018-0483-8
Date:
January, 2018
File:
PDF, 3.15 MB
english, 2018