BibTeX record conf/IEEEares/FourneretOBBJY11

• > Home > conf/IEEEares/FourneretOBBJY11

@inproceedings{DBLP:conf/IEEEares/FourneretOBBJY11,
  author       = {Elizabeta Fourneret and
                  Mart{\'{\i}}n Ochoa and
                  Fabrice Bouquet and
                  Julien Botella and
                  Jan J{\"{u}}rjens and
                  Parvaneh Yousefi},
  title        = {Model-Based Security Verification and Testing for Smart-cards},
  booktitle    = {Sixth International Conference on Availability, Reliability and Security,
                  {ARES} 2011, Vienna, Austria, August 22-26, 2011},
  pages        = {272--279},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ARES.2011.46},
  doi          = {10.1109/ARES.2011.46},
  timestamp    = {Fri, 24 Mar 2023 00:03:48 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/FourneretOBBJY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}