Development of Correct-by-Construction Software using Product Lines / Thi-Kim-Dung
Pham, 2017. Thèse de doctorat : Sciences de l'information et de la communication.
Informatique : Paris, CNAM : 2017
Information trouvée : Professeur, Centre d’étude et de recherche en informatique et communications (CEDRIC),
Conservatoire national des Arts et Métiers (CNAM), Paris
Les Mécanismes d'inférence et l'explication du raisonnement dans le système expert
SECSI / Elisabeth Métais, 1987 [thèse univ.]