Sahar Mhiri

According to our database, Sahar Mhiri authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty.

Étienne André, Jawher Jerray, Sahar Mhiri

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019