Des sujets sur la conception et la vérification de systèmes informatiques critiques sont disponibles.
Veuillez prendre contact avec Thierry Massart et vous référer à son site.