Calcul intensif pour l'évaluation de la vulnérabilité en utilisant une approche d'Ingénierie
Dirigée par les Modèles / Romain Lardy ; sous la direction de David R. C. Hill et
Gianni Bellocchi. Thèse de doctorat : Informatique : Clermont-Ferrand 2 : 2013