HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Michael Fisher

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
On and On the Temporal Way
Clare Dixon and Michael Fisher
In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday

Keyphrases

critical systems, formal verification, Internet of Things.

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