Formal Modeling of Responsive Traffic Signaling System Using Graph Theory and VDM-SL
Internet of things (IoT) is playing a major role in smart cities to make a digital environment. Traffic congestion is a serious road issue because of an increasing number of vehicles in urban areas. Some crucial traffic problems include accidents and traffic jams that cause waste of fuel, health dis...
Guardado en:
Autores principales: | Afifa Nawaz, Nazir Ahmad Zafar, Eman H. Alkhammash |
---|---|
Formato: | article |
Lenguaje: | EN |
Publicado: |
MDPI AG
2021
|
Materias: | |
Acceso en línea: | https://doaj.org/article/0b6593ca30d14346a59566ca2b96aac4 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
A column generation-based algorithm for solving combined inventory and routing problems
por: Franco-Franco,Carlos, et al.
Publicado: (2016) -
Problems on Shortest k-Node Cycles and Paths
por: Petro Stetsyuk, et al.
Publicado: (2021) -
Coordination of Traffic Signals on Arterial Streets in Duhok City
por: Dilshad Ali Mohammed, et al.
Publicado: (2021) -
SL2B aptamer and folic acid dual-targeting DNA nanostructures for synergic biological effect with chemotherapy to combat colorectal cancer
por: Sun P, et al.
Publicado: (2017) -
Multi-criteria path rationalization in the conditions of multi-type passenger transport systems
por: V. V. Egorov
Publicado: (2021)