Narjes Ben Rajeb
IdRefMots clés
FR |
EN
Commutation, Théorie de la
Théorie de la démonstration
Induction (logique)
Logique multivalente
Connaissances imprécises
Représentation des données
Répartition non uniforme
Raisonnement approximatif
Traitement des connaissances
Structures de données (informatique)
Gestion des connaissances
Attaques internes
B
Preuve
Résolution de contraintes
Model-Checking
Atteignabilité
Systèmes de détection d'intrusion (informatique)