EasyChair Smart SlideDocs/Log in
Author: Julie McCann

This page shows all presentations of this author published in 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

Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair