共 50 条
- [41] Model-Checking based Verification Approach for Advanced Industrial Automation Solutions [J]. 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2010,
- [42] DeepTrans - A model-based approach to functional verification of address translation mechanisms [J]. 4TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION: COMMON CHALLENGES AND SOLUTIONS, PROCEEDINGS, 2003, : 3 - 6
- [43] Data-driven and Model-based Verification: a Bayesian Identification Approach [J]. 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 6830 - 6835
- [45] Knowledge structure approach to verification of authentication protocols [J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2005, 48 (04): : 513 - 532
- [46] Knowledge structure approach to verification of authentication protocols [J]. Science in China Series F: Information Sciences, 2005, 48 : 513 - 532
- [47] SmartOSEK based design and verification for in-vehicle network system: A model-based approach [J]. 2006 9TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS AND VISION, VOLS 1- 5, 2006, : 1449 - +
- [48] Model based code verification [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 16 - 25
- [49] PRINCIPLE AND VERIFICATION OF THE GIESSEN MODEL FOR NITROGEN-FERTILIZER RATES TO WINTER CEREALS BASED ON EUF SOIL ANALYSIS [J]. AGRIBIOLOGICAL RESEARCH-ZEITSCHRIFT FUR AGRARBIOLOGIE AGRIKULTURCHEMIE OKOLOGIE, 1992, 45 (01): : 65 - 76
- [50] Verification Approach Based on Emulation Technology [J]. 2016 IEEE 19TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2016, : 169 - 174