Le moteur de recherche
des thèses françaises
Marie-Claude Gaudel
IdRefMots clés
FR |
EN
Systèmes experts (informatique)
Systèmes informatiques
Intelligence artificielle
Méthodes formelles (informatique)
Test formel
Spécifications algébriques
Réseaux de Petri
Grammaires attribuées (informatique)
Systèmes de réécriture (informatique)
Test basé sur des modèles
Génie logiciel
Règles de production
Systèmes multi-agents
Comportementalisme
Environements
Méthodes formelles
Vérification formelle
Simulation
Traitement réparti
Services