Skip to main navigation
Skip to search
Skip to main content
English
Français
Home
Profiles
Research Units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press / Media
Search by expertise, name or affiliation
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Barkallah, M.
(Speaker),
Jacquet, J.
(Speaker),
Linden, I.
(Speaker)
Faculty of Computer Science
Namur Digital Institute
Research Group on the Foundations of Computer Science
Namur Research Institute for Life Sciences
Creativity and Innovation Research Center
Activity
:
Talk or presentation types
›
Oral presentation
Period
23 Oct 2018
Held at
Faculty of Computer Science
Degree of Recognition
National