Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
Security Vulnerabilities Test Generation from SysML and Event-B models for EMV cardsInternational 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
|