The purpose of this volume is to provide examples of verification documentation as specified in Volume 1 of this handbook that can be used as a guide in the development of or in the assessment of similar documentation.
Information Technology - Identification Cards - Integrated Circuit(s) Cards With Contacts - Part 4: Interindustry Commands for Interchange (Adopted ISO/IEC 7826-1:1994, first edition)
Information Technology - Abstract Syntax Notation One (ASN.1):Specification of Basic Notation (adopted, ISO/IEC 8824-1:1998, second edition, 1998-12-15)