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
Rodrigo
Tacla Saad
IdRef
Mots clés
FR
|
EN
Model Checking en Parallèle
Vérification Formelle et Logiques Temporelles
Algorithme et Structure de Données concurrents
Méthode Formelle
Méthodes formelles (informatique)
Algorithmes parallèles
Calcul intensif (informatique)
Théorie des graphes
Petri, Réseaux de
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)