Khaoula Boukir
Maître de Conférence – SETIME
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
PPC – Contraintes et SAT
Mots-clés :
- vérification formelle
Maître de Conférence – SETIME
RCR – Représentation des connaissances et modélisation des raisonnements
IMG – Incertitude, Modèles Graphiques, Réseaux Bayésiens
PPC – Contraintes et SAT