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á bibliografie

Vydáno v:	2024 IEEE 1st Karachi Section Humanitarian Technology Conference (KHI-HTC) s. 1 - 6
Hlavní autoři:	Rashid, Muhammad, Qadeer, Muhammad, Raza, Husnain, Shabbir, Ifra, Rasool, Imran, Zafar, Nazir Ahmad
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 08.01.2024
Témata:	Formal Methods Internet of Things IoT LTL Model checking Program Graph Protocols Safety Security SPIN Transport systems Transportation Unified modeling language
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!