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-0001ANR - JST CREST - 2020Voir les documents associés Exporter Export XML Export RDF