Opening book details…
About this Engineering article
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods by Valente, Eduardo; Avram, Camelia; Machado, José; Astilean, Adina is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Valente, Eduardo; Avram, Camelia; Machado, José; Astilean, Adina
- Publisher
- Institute for Transportation Inc.; Hindawi Limited; Wiley (ISSN 0197-6729)
- Published
- 2018
- Language
- EN
- Field
- Engineering (Physical Sciences)
More by Valente, Eduardo; Avram, Camelia; Machado, José; Astilean, Adina
Browse all works by Valente, Eduardo; Avram, Camelia; Machado, José; Astilean, Adina