Germain Jolly, Sylvain Vernois, Jean-Luc Lambert. Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification. In Gregorio Martínez Pérez, Sabu M. Thampi, Ryan K. L. Ko, Lei Shu, editors, Recent Trends in Computer Networks and Distributed Systems Security - Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014, Proceedings. Volume 420 of Communications in Computer and Information Science, pages 192-201, Springer, 2014. [doi]
@inproceedings{JollyVL14,
title = {Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification},
author = {Germain Jolly and Sylvain Vernois and Jean-Luc Lambert},
year = {2014},
doi = {10.1007/978-3-642-54525-2_17},
url = {http://dx.doi.org/10.1007/978-3-642-54525-2_17},
researchr = {https://researchr.org/publication/JollyVL14},
cites = {0},
citedby = {0},
pages = {192-201},
booktitle = {Recent Trends in Computer Networks and Distributed Systems Security - Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014, Proceedings},
editor = {Gregorio Martínez Pérez and Sabu M. Thampi and Ryan K. L. Ko and Lei Shu},
volume = {420},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-54524-5},
}