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 IBISC | KLAUDEL Hanna | |
| Publications dans HAL IBISC | Document de thèse | |
| Courriel : | Financeur/affectation/tutelle : U EVRY | |
| Date d'arrivée : 03/10/2016 | Date de départ : 13/12/2019 | Date de soutenance : 13/12/2019 |