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

Johan Arcile

est l'auteur d'une thèse

Abstraction Modèle formel Méthodes formelles Simulation par ordinateur Systèmes complexes Temps réel Véhicules autonomes Vérification

Fullscreen

Abstraction Modèle formel Méthodes formelles Simulation par ordinateur Systèmes complexes Temps réel Véhicules autonomes Vérification

Johan Arcile a rédigé la thèse suivante :

Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicants

par Johan Arcile sous la direction de Hanna Klaudel - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-12-2019

Thèse soutenue

Accéder en ligne