Verification of a Failure Management Protocol for Stateful IoT Applications

von Ozeer, Umar
Veröffentlicht in FMICS (25. : 2020 : Online) Formal methods for industrial critical systems (2020)