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
PhD Students
Benoit Ballenghien
Fabricio Cravo
Souhila Founas
Baptiste Gueuziec
Nicolas Meric
Thomas Soullard
Isa Vialard
Zhuofan Xu