- COORDONNÉES
IRT SystemX
Centre d’intégration Nano-INNOV
2, Boulevard Thomas Gobert
91120 PALAISEAU
- NOUS SUIVRE
- ACTUALITÉS
Mentions légales - Données personnelles et cookies - Plan du site Tous droits réservés IRT SystemX © 2020
Goran Frehse a animé un Seminar@SystemX
Goran Frehse (ENSTA-IPP) s’est rendu à l’IRT SystemX le 6 février, sur le site de Nano-Innov, pour animer un séminaire sur le thème « Formal Verification with Reachability ». Résumé : Ensuring the safety of dynamical systems in complex and uncertain...