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 | |
| 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 |