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

Thanh tung Tran

est l'auteur d'une thèse

Accessibilité Algorithmes Automates temporisés FlexRay Outil de visualisation Parcours Temps réel Vivacité

Fullscreen

Accessibilité Algorithmes Automates temporisés FlexRay Outil de visualisation Parcours Temps réel Vivacité

Thanh tung Tran a rédigé la thèse suivante :

Verification of timed automata : reachability, liveness and modelling

par Thanh tung Tran sous la direction de Igor Walukiewicz - Bordeaux

Informatique

Soutenue le 04-11-2016

Thèse soutenue

Accéder en ligne