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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | article |
| Language: | EN |
| Published: |
MDPI AG
2021
|
| Subjects: | |
| Online Access: | https://doaj.org/article/0b6593ca30d14346a59566ca2b96aac4 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|