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
Florence
Pagani
IdRef
Mots clés
FR
Systèmes temps réel
Méthodes formelles
Vérification symbolique
Ordres partiels
Temps réel (informatique)
Méthodes formelles (informatique)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)