Modeling and formal analysis of urban road traffic

Modern life in cities leads to complex urban traffic road and, sometimes, to go from one point to another, in a city, is a hard and very complex task. The use of assisted systems for helping drivers on their task of reaching the desired destination is being common, mainly systems like GPS location s...

Full description

Bibliographic Details
Main Author: Avram, Camelia (author)
Other Authors: Machado, José (author), Aştilean, Adina (author)
Format: conferencePaper
Language:eng
Published: 2013
Subjects:
Road traffic modeling
Routing algorithms
Formal methods
Analysis techniques
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Engenharia e Tecnologia::Engenharia Mecânica
Online Access:http://hdl.handle.net/1822/63775
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/63775

Internet

http://hdl.handle.net/1822/63775

Similar Items