Formal Modeling and Verification of IoT-based Smart Transport System using SPIN Model Checker

Transportation systems that are intelligent are developing for the benefit of travelers. The transportation business has suffered greatly as a result of advanced technology like the Internet of Things (IoT). Ensuring the security of passengers and conserving their valuable time are the top prioritie...

Celý popis

Podrobná bibliografia

Vydané v:	2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) s. 1 - 6
Hlavní autori:	Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 08.01.2024
Predmet:	Formal Methods Internet of Things IoT LTL Model checking Program Graph Protocols Safety Security SPIN Transport systems Transportation Unified modeling language
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!