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.
Abstract is missing.