Activities per year
Activities
- 1 results
Search results
-
Symbolic Reasoning in Artificial Intelligence Allows for the Development of `Correct-by-Construction' Systems
Manel Barkallah (Speaker), Jean-Marie Jacquet (Speaker) & Isabelle Linden (Speaker)
23 Oct 2018Activity: Talk or presentation types › Oral presentation