Le moteur de recherche
des thèses françaises
Bernard Botella
IdRefMots clés
FR |
EN
Théorie de la connaissance
Sciences cognitives
Ontologies (informatique)
Acquisition des connaissances (systèmes experts)
Représentation des connaissances
Point de vue (linguistique)
Conception assistée par ordinateur
Systèmes experts (informatique)
Théorie des graphes
Validation de système embarqués
Génération de tests à partir de modèles
UML/Sys ML
Critères de couverture
Transformation de modèles
Chaine outillée
Commande automatique