Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Tien Dung Cao

Mots clés

FR |

EN

Orchestration de services web

Machine à états finis étendues temporisés

Test actif/passif

Vérification d’exécution en-ligne

Génération de cas de test temporisé

Théorie des machines séquentielles