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
Soraya
Kesraoui
IdRef
Mots clés
FR
|
EN
Contrôle commande
Spécification
Modélisation
Vérification formelle
Style architectural
Idm
Alloy
Automates temporisés
Ctl
Revue systématique
Systèmes complexes
Commande automatique
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)