Verification of a Failure Management Protocol for Stateful IoT Applications.

Umar Ozeer, Gwen Salan, Loc Letondeur, Franois-Gal Ottogalli, Jean-Marc Vincent

Browse the full FMICS paper archive.