Parcourir par auteur Mohamed, Otmane Ait

Regrouper par Type Sans regrouement |

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.

Cette liste a été générée le Sun Apr 28 18:17:17 2024 EDT.