Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Clé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

Fullscreen

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

Clément Bertrand a rédigé la thèse suivante :

Reconnaissance de motifs dynamiques par automates temporisés à mémoire

par Clément Bertrand sous la direction de Hanna Klaudel - université Paris-Saclay

Informatique

Soutenue le 17-12-2020

Thèse soutenue

Accéder en ligne