Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.

Saba Latif, Aniqa Rehman, Nazir Ahmad Zafar

Browse the full FIT paper archive.