Methods for Modeling Urban Road Traffic Using Timed Automata
DSMIE ; 3. ; 2020 ; Charkow
2020
Aufsatz (Konferenz)
Englisch
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
DOAJ | 2018
|Modeling Train Traffic Flow Using Cellular Automata
ASCE | 2013
|An urban traffic network model via coloured timed Petri nets
Tema Archiv | 2006
|