Get started
Author

Malek Ltaief

Formal verification of fault tolerance mechanisms in multi-layer IoT using Event-B
2026 · Malek Ltaief, Aida Lahouij, et al. · Software & Systems Modeling · 1
Functional Scalability of Cloud–Fog–IoT Service Compositions using Event-B
2026 · Ltaief, Malek, Lahouij, Aida, et al. · Zenodo (CERN European Organization for Nuclear Research)
Functional Scalability of Cloud–Fog–IoT Service Compositions using Event-B
2026 · Ltaief, Malek, Lahouij, Aida, et al. · Zenodo (CERN European Organization for Nuclear Research)
Functional Scalability of Cloud–Fog–IoT Service Compositions using Event-B
2026 · ltaief, malek · Zenodo (CERN European Organization for Nuclear Research)
Event-B Fault Tolerance Formal Model
2026 · ltaief, malek, Lahouij, Aida, et al. · Zenodo (CERN European Organization for Nuclear Research)
A Correct by Construction Approach to Functional Scalability of IoT Service Compositions using Event-B
2026 · Malek Ltaief, Aida Lahouij, et al. · Procedia Computer Science
UML Profile for IoT-Based Applications
2022 · Malek Ltaief, Sarah Hussein Toman, et al. · Communications in computer and information science
Works count: 7
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type