Hubert Garavel au forum Méthodes Formelles - Le model checking en action

22:00
Mercredi
15
Oct
2014
Actualité
Catégorie : 
  • Animation de la recherche
Équipes concernées : 

Hubert Garavel membre de l’équipe CONVECS participera à la 4ème journée du forum Méthodes Formelles - Le model checking en action - à Toulouse au LAAS-CNRS. Il y présentera La boîte à outils CADP.

Ce forum est retransmis en direct dans le grand amphitéâtre Inria Grenoble Rhône-Alpes (Montbonnot), de 8h45 à 17h30. Informations & inscriptions.