Connexion
Toutes les thèses
Thèses en préparation
Personnes
Organismes
Désactiver l'autocomplétion
Activer l'autocomplétion
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Titre
Mots clés
Résumé
Discipline
Texte intégral
Auteur
Directeur de thèse
Président du jury
Rapporteur
Membre du jury
Tous rôles
Etablissement de soutenance
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
et
ou
Date de soutenance
Date d'inscription en doctorat
Date de soutenance prévue
De
à
Effacer
Recherche avancée
Uniquement les thèses en préparation dont la soutenance est prévue dans les 6 prochains mois
Uniquement les personnes en lien avec une thèse soutenue ou en préparation depuis moins de 5 ans
Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
SIGNALER
une erreur
personne précédente
personne suivante
Clément Bertrand
est l'auteur d'une thèse
Automate temporisé
Automate à mémoire
Automates temporisés
Expression régulière
Expressions rationnelles
Langages formels
Logiciels -- Vérification
Système complexe
Systèmes complexes
Vérification dynamique
Automate temporisé
Automate à mémoire
Automates temporisés
Expression régulière
Expressions rationnelles
Langages formels
Logiciels -- Vérification
Système complexe
Systèmes complexes
Vérification dynamique
Clément Bertrand a rédigé la thèse suivante :
Reconnaissance de motifs dynamiques par automates temporisés à mémoire
par
Clément Bertrand
sous la direction de
Hanna Klaudel
-
université Paris-Saclay
Informatique
Soutenue le 17-12-2020
Accéder en ligne