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

Pierre Carlier

est l'auteur d'une thèse

Automates temporisés Automates temporisés et stochastiques Markov, Processus de Vérification Vérification de modèles

Fullscreen

Automates temporisés Automates temporisés et stochastiques Markov, Processus de Vérification Vérification de modèles

Pierre Carlier a rédigé la thèse suivante :

Verification of Stochastic Timed Automata

par Pierre Carlier sous la direction de Patricia Bouyer-Decitre et de Thomas Brihaye . - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 08-12-2017

Thèse soutenue

Accéder en ligne