HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:critical systems

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 377
Copyright © 2012-2025 easychair.org. All rights reserved.