ibisc.univ-evry.fr
Johan Arcile soutient sa thèse de doctorat le vendredi 13 décembre 2019 : « Prédiction de structures secondaires d’ARN et de complexes d’ARN avec pseudonoeuds - Approches basées sur la programmation mathématique multi-objectif »
Johan Arcile soutient sa thèse de doctorat le vendredi 13 décembre 2019 à 14h00 dans le Petit Amphithéâtre du site IBGBI Titre: Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : Application aux véhicules autonomes communicants Résumé: Cette thèse est motivée par la question de la validation de propriétés dans un système composé de