Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Lina
Bentakouk
IdRef
Mots clés
FR
|
EN
Services
Orchestration
Test formel
Génération de cas de test
WS-BPEL
Système de transitions
Exécution symbolique
SMT solver
Génie logiciel
Services Web
Solveurs (logiciels)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)