Login / Signup
Rihab Omri
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Formal Verification
State Space
Conceptual Model
Probability Distribution
Top Venues
ICCCI (CCIS Volume)
</>
Publications
</>
Rihab Omri
,
Zinah Hussein Toman
,
Lazhar Hamel
A Formal Verification Model for IoT Based Applications Using Event-B.
ICCCI (CCIS Volume)
(2022)