EasyChair Smart Slide
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems