Pascal Poizat
Mots clés
FR |
EN
Services Web
Méthodes formelles (informatique)
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
Génie logiciel
Ingénierie dirigée par les modèles
Informatique dans les nuages
Systèmes d'information
Architecture logicielle
Ontologie
Ontologies (informatique)
Vérification de modèles
Vérification de modèles (informatique)
Chorégraphie de services
Service web
Passage de valeurs
Conformité
Projection
Réalisabilité
Test passif