共 50 条
- [44] Proving a soundness property for the joint design of ASN.1 and the basic encoding rules SYSTEM ANALYSIS AND MODELING, 2005, 3319 : 154 - 170
- [47] Novel File System with ASN.1 Support for Java']Java Card Applications 2014 IEEE 23RD INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2014, : 1016 - 1020
- [49] The Design and Implementation of TAP3 Encoding Engine Based on ASN.1 ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING SCIENCE, VOL 4, PROCEEDINGS: MODELLING AND SIMULATION IN ENGINEERING, 2009, : 81 - 84
- [50] Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2025, PT II, 2025, 15530 : 185 - 207