Verimag

Verimag at Formal Methods Forum

10 October 2017

Le Forum Méthodes Formelles est un cycle de conférences consacré aux méthodes formelles de développement. La prochaine journée FMF8 aura lieu le 10 Octobre 2017, avec une programmation sur le thème du "Véhicule autonome et méthodes formelles". Verimag interviendra avec un exposé intitulé "Analyse fonctionnelle des systèmes cyber-physiques avec incertitudes", qui sera présenté par Goran Frehse (MCF UGA).


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 913393