Rihab Omri

According to our database, Rihab Omri authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

A Formal Verification Model for IoT Based Applications Using Event-B.

Rihab Omri, Zinah Hussein Toman, Lazhar Hamel

Proceedings of the Advances in Computational Collective Intelligence, 2022