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

Barkallah, M. (Orateur), Jacquet, J. (Orateur), Linden, I. (Orateur)

Activité: Types de discours ou de présentationPrésentation orale

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