Bibliographic Details
| Title: |
Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker |
| Authors: |
Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad |
| Source: |
2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) Humanitarian Technology Conference (KHI-HTC), 2024 IEEE 1st Karachi Section. :1-6 Jan, 2024 |
| Relation: |
2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) |
| Database: |
IEEE Xplore Digital Library |
