共 50 条
- [1] Extrusion flow analysis software verification CONFERENCE PROCEEDINGS AT ANTEC '98: PLASTICS ON MY MIND, VOLS I-3: VOL I; PROCESSING, VOL II; SPECIAL AREAS, VOL III; MATERIALS, 1998, 44 : 3471 - 3474
- [2] The Analysis of Existing Methods of Software Verification PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 191 - 193
- [5] Analysis and verification of the interaction model in software design ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 67 - 75
- [8] Sleuth: Automated Verification of Software Power Analysis Countermeasures CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS - CHES 2013, 2013, 8086 : 293 - 310
- [9] Dependability Analysis and Verification Technology of Artificial Intelligence Software 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C, 2022, : 226 - 232