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
Ala Eddine
Ben Salem
IdRef
Mots clés
FR
|
EN
Model-checking
Propriétés LTL insensibles au bégaiement
Automates testeur en une seule passe
Automates testeur généralisés
Normalisation des transitions bégayantes
Approche symbolique
Technique de saturation
Approches hybrides
Algorithmes
Calculateurs hybrides
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)