Formal verification of fault tolerance mechanisms in multi-layer IoT using Event-B

Software & Systems Modeling 2026

View at publisher
Authors: Malek Ltaief, Aida Lahouij, Lazhar Hamel, Mohamed Graïet
DOI: 10.1007/s10270-026-01399-1
Cited by: 1
References: 36

Fields of Study & Subjects

Distributed systems and fault tolerance Software System Performance and Reliability Formal Methods in Verification

Publication details

Journal / source
Software & Systems Modeling
Publisher
Springer Science and Business Media LLC
Publication date
29 June 2026
Language
EN