Parvaneh Yousefi

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Elizabeta Fourneret, Martín Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, Parvaneh Yousefi
Model-Based Security Verification and Testing for Smart-cards. ARES (2011)