共 50 条
- [1] Model based correction of placement error in EBL and its verification PHOTOMASK JAPAN 2016: XXIII SYMPOSIUM ON PHOTOMASK AND NEXT-GENERATION LITHOGRAPHY MASK TECHNOLOGY, 2016, 9984
- [3] Reference model based RTL verification: An integrated approach NINTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2004, : 9 - 13
- [4] Experimental verification of the quasi-unit-cell model of quasicrystal structure (Correction) Nature, 1999, 398 (6731):
- [5] A Modular Approach to Integrate Verification Tools in Model Based Development 21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS (MODELS-COMPANION '18), 2018, : 150 - 155
- [6] A model-based approach for the specification and verification of clinical guidelines 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
- [7] Business transaction verification approach based on service coordination model Yuan, M. (yuanmin@nuaa.edu.cn), 1600, CIMS (18):
- [8] AN APPROACH TO FORMAL VERIFICATION OF RULE-BASED MODEL TRANSFORMATION INFORMATION TECHNOLOGIES' 2009, 2009, : 93 - 99
- [9] Model Based Approach to Verification of Higher-Order Programs ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 2 - +