Monsieur ARCILE Johan

Maître de Conférences , 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
13/12/2019
Publications dans HAL IBISC
Bâtiment : ibgbi Bureau : Téléphone :
Courriel : Site Web personnel Financeur/affectation/tutelle : U EVRY
Date d'arrivée : 03/10/2022