Keyword:critical systems

Papers
Formal Verification of Synchronisation, Gossip and Environmental Effects for Critical IoT Systems Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann EasyChair Preprint no. 377