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
Johan Arcile
is the author of a thesis
Abstraction
Modèle formel
Méthodes formelles
Simulation par ordinateur
Systèmes complexes
Temps réel
Véhicules autonomes
Vérification
Abstraction
Modèle formel
Méthodes formelles
Simulation par ordinateur
Systèmes complexes
Temps réel
Véhicules autonomes
Vérification
Johan Arcile wrote the following thesis:
Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants
by
Johan Arcile
supervised by
Hanna Klaudel
-
Université Paris-Saclay (ComUE)
Informatique
defended on 13-12-2019
Access online