共 50 条
- [21] Design and Formal Verification of DZMBE ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2013, 5 (01): : 37 - 53
- [22] Mechanism Design with Selective Verification EC'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON ECONOMICS AND COMPUTATION, 2016, : 771 - 788
- [23] SOC ESD Design and Verification 2022 IEEE INTERNATIONAL RELIABILITY PHYSICS SYMPOSIUM (IRPS), 2022,
- [24] Verification and validation of the design procedure 7. FACHTAGUNG SCHWINGUNGEN IN ANTRIEBEN 2011, 2011, 2155 : 141 - 156
- [25] On Design of Data Consistency Verification PROCEEDINGS OF THE 2016 17TH INTERNATIONAL CONFERENCE ON MECHATRONICS - MECHATRONIKA (ME) 2016, 2016, : 509 - 516
- [26] Hardware design and simulation for verification FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 1 - 29
- [30] DESIGN AND VERIFICATION OF BOBSLEIGH TRACK PROCEEDINGS OF THE ASME 10TH BIENNIAL CONFERENCE ON ENGINEERING SYSTEMS DESIGN AND ANALYSIS, 2010, VOL 4, 2010, : 505 - 512