Matthieu Moy

Accueil > Recherche > Étudiants/Post-docs > Madhav Jha

Madhav Jha

Connection de la chaine d’outils LusSy au model-checker NuSMV

lundi 1er janvier 2007

Années: 2007 (Stagiaire L3)
Sujet: Connection de la chaine d’outils LusSy au model-checker NuSMV
Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License