HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Julie McCann

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.