Recherche - Université de Limoges Accéder directement au contenu

Filtrer vos résultats

1 Résultat
authFullName_s : M'Hammed Ziane

Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cards

Noura Ouerdi , Mostafa Azizi , M'Hammed Ziane , Jean-Louis Lanet , Aymerick Savary
International Journal of Security and Its Applications, 2014, 8 (1), pp.373-388. ⟨10.14257/ijsia.2014.8.1.35⟩
Article dans une revue hal-00981692v1