HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Michael Breza

Publications
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

Keyphrases

critical systems, formal verification, Internet of Things.

Copyright © 2012-2023 easychair.org. All rights reserved.