M'hammed Ziane

Security Vulnerabilities Tests Generation from SysML and Event-B Models for EMV Cards

Jean-Louis Lanet, Abdelmalek Azizi, Mostafa Azizi, 2014 .

On a Conjecture of Farhi

Abdelmalek Azizi, M'hammed Ziane, Soufiane Mezroui, 2014, J. Integer Seq..

EMV Card: Generation of Test Cases based on SysML Models

Jean-Louis Lanet, Abdelmalek Azizi, Mostafa Azizi, 2013 .