External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification

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]

Authors

Germain Jolly

This author has not been identified. Look up 'Germain Jolly' in Google

Sylvain Vernois

This author has not been identified. Look up 'Sylvain Vernois' in Google

Jean-Luc Lambert

This author has not been identified. Look up 'Jean-Luc Lambert' in Google
runs on