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