Monsieur ARCILE Johan

Doctorant , Equipe COSMO

Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : Application aux véhicules autonomes communicants
Direction de these a IBISCKLAUDEL Hanna
Publications dans HAL IBISC Document de thse
Batiment : ibgbi Bureau : Téléphone :
Courriel : Site Web personnel Financeur/affectation/tutelle : U EVRY
Date d'arrivée : 03/10/2016 Date de soutenance : 13/12/2019