Pôle Modèles
Le pôle regroupe quatre thématiques :
- Systèmes concurrents et distribués
- Model-checking et synthèse
- Modélisation formelle des systèmes critiques
- Test Formel et Monitoring
Members
Faculty
Safouan Taha
Emeriti
Postdocs and Engineers
Johannes Bund
PhD Students
Fabricio Cravo
Mariapia D'Urso
Nicolas Dumange
HOANG Duy
Alexandra Loudières
Benjamin Puyobro
Thomas Soullard
Zhuofan Xu
Paul Zeinaty