Pascal Poizat
IdRefMots clés
FR |
EN
Services Web
Méthodes formelles (informatique)
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
Ingénierie dirigée par les modèles
Informatique dans les nuages
Génie logiciel
Vérification de modèles
Vérification de modèles (informatique)
Architecture logicielle
Systèmes d'information
Ontologie
Ontologies (informatique)
Vérification de modèles modulo theories
Vérification déductive
Satisfiabilité modulo théories
Systèmes distribués
Apprentissage non supervisé
Vérification
Architectures orientées services