HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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