Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Houda Bel Mokadem
Symbolic Model-Checking for Abstracting Inevitability Modalities Over Transient States
International Journal of Control and Automation
Control
Systems Engineering