Le moteur de recherche
des thèses françaises
Manuel Nùñez
IdRefMots clés
FR |
EN
Services Web
Tests
Génie logiciel
Test passif
Services
Orchestration
Test formel
Génération de cas de test
WS-BPEL
Système de transitions
Exécution symbolique
SMT solver
Solveurs (logiciels)
Vulnérabilité
Détection automatique
Formalisme
Condition de détection de vulnérabilité
Template
Model checking
Systèmes informatiques -- Mesures de sûreté