Connexion
Home
  • All theses
  • Ongoing thesis
  • Individuals
  • Organisations
Deactivate Autocomplete Activate Autocomplete






Clear

Advanced search
Only theses to be defended in the next 6 months
Only individuals in connection with a defended thesis or an ongoing thesis for less than five years
defended theses only defended and online theses
REPORT an error

previous individual
next individual

Thanh tung Tran

is the author of a thesis

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 wrote the following thesis:

Verification of timed automata : reachability, liveness and modelling

by Thanh tung Tran supervised by Igor Walukiewicz - Bordeaux

Informatique
defended on 04-11-2016
Thèse soutenue

Access online
ABES
About | Helpdesk | Terms of Use | Données personnelles | Mentions légales | Accessibilité numérique