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
Petri, Réseaux de
Grammaires attribuées (informatique)
Réécriture, Systèmes de (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