Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification.
| Autor: | Jolly, Germain, Vernois, Sylvain, Lambert, Jean-Luc |
|---|---|
| Zdroj: | Recent Trends in Computer Networks & Distributed Systems Security: Second International Conference, SNDS 2014, Trivandrum, India, March 13-14, 2014, Proceedings; 2014, p192-201, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|