Sahar Mhiri

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Incomplete Information

Complex Systems

Statistical Model

Top Venues

Publications

Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys2imi: A Tool to Formalize Real-Time System Models Under Uncertainty. ICTAC (2019)
Étienne André, Jawher Jerray, Sahar Mhiri
Time4sys2imi: A tool to formalize real-time system models under uncertainty. CoRR (2019)