Fiche d'un projet ANR

 51352Méthodes formelles pour l'analysis et le développement de systèmes cyber-physiques intégrant l'intelligence artificielle [En savoir plus]CyphAI - ANR-20-JSTM-0001
ANR - JST CREST - 2020