Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems

Activité: Discours ou présentation Présentation orale

Période23 oct. 2018
Conservé àFaculte d'informatique
Niveau de reconnaissanceNational