Mark R. Blackburn, Ramaswamy Chandramouli. Using Model-Based Testing to Assess Smart Card Interoperability Conformance. In Hsing-wei Chu, editor, Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 2. pages 23-28, The International Institute of Informatics and Systemics (IIIS), 2004.
Abstract is missing.