| Title | Efficient IoT-Based Formal Model for Vehicle-Life Interaction in VANETs Using VDM-SL |
| Type | Journal |
| Publisher | MDPI |
| Publication Year | |
| First Author | Sidra Iqbal |
| Second Author | Nazir Ahmad Zafar |
| Third Author | Tariq Ali |
| Publication Level | International |
| Volume | 15 |
| Publication # | |
| Page # | |
| Submitted by | Sidra Iqbal |
| Department | Computer Science |
| Email |
sidraiqbal@cuisahiwal.edu.pk
|