Nombre de documents archivés : 1.
Hoque, Khaza Anuarul; Mohamed, Otmane Ait; Abed, Sa'ed et Boukadoum, Mounir (2012). « MDG-SAT: an automated methodology for efficient safety checking ». International Journal of Critical Computer-Based Systems, 3(1/2), pp. 4-25.