Hubert Garavel au forum Méthodes Formelles - Le model checking en action | LIG - Laboratoire d'Informatique de Grenoble

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

Thursday
16
Oct
2014
News
Category: 
Concerned teams: 

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.