Construction Formelle de Logiciels

M2 ALMA -- 2015/--

Intervention sur la modélisation et la vérification de systèmes temporisés.

Les documents de cours / TD / TP sont disponible ici.