PARRENNES Fabrice
Научны(е)й руководител(и)ь : Thérèse HARDIN
Analyse de sûreté du logiciel par interprétation abstraite et contraintes
Защита диссертаций : 22.05.2002
Члены жюри :
Jean Charles POMEROL (Président)
François FAGES (Rapporteur)
Jean GOUBAULT LARRECQ (Rapporteur)
Thérèse HARDI (Directeur) Marc POUZET
Philippe AYRAULT
Philippe HILSENKOPF
Публикации 2001-2002
-
2002
- F. Parrennes : “Analyse de sûreté du logiciel par interprétation abstraite et contraintes”, диссертация, Защита диссертаций 22.05.2002, Научны(е)й руководител(и)ь Hardin, Thérèse (2002)
-
2001
- F. Parrennes : “Fraction : analyseur de propriétés par des techniques de résolution de contraintes”, (2001)