Global Symbolic Model Checking based on Generalised Intervals
29.04.2024 10:30 – 12:30
par Monsieur Damien MORARD, candidat au doctorat ès sciences, mention informatique. En français.
Lieu
Bâtiment: Battelle
Amphithéâtre
7 Route de Drize - 1227 Carouge
Organisé par
Faculté des sciences
entrée libre
haut