Communication Dans Un Congrès
Année : 2013
Aymerick Savary : Connectez-vous pour contacter le contributeur
https://unilim.hal.science/hal-00981816
Soumis le : mardi 22 avril 2014-21:52:40
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00981816 , version 1
Citer
Aymerick Savary, Marc Frappier, Jean-Louis Lanet. Detecting Vulnerabilities in Java-Card Bytecode Verifiers using Model-Based Testing. iFM 2013: 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. pp.223-237. ⟨hal-00981816⟩
98
Consultations
0
Téléchargements