Connexion
All theses
Ongoing thesis
Individuals
Organisations
Deactivate Autocomplete
Activate Autocomplete
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Title
Keywords
Abstract
Discipline
Full text
Author
Thesis supervisor
Thesis committee President
Examiner
Thesis committee member
All roles
Institutions of thesis defence
Etablissement de cotutelle
Ecole doctorale
Laboratoire
Equipe de recherche
Entreprise
Fondation
Autre partenaire
and
or
Viva date
Enrollment date
Defending date
from
to
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é
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
Access online