Le moteur de recherche
des thèses françaises
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
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