共 50 条
- [31] Metamorphic Testing for Processor Verification: A RISC-V Case Study at the Instruction Level [J]. PROCEEDINGS OF THE 2021 IFIP/IEEE INTERNATIONAL CONFERENCE ON VERY LARGE SCALE INTEGRATION (VLSI-SOC), 2021, : 78 - 83
- [32] Investigation of V&V process for thermal fatigue issue in a sodium cooled fast reactor - Application of uncertainty quantification scheme in verification and validation with fluid-structure thermal interaction problem in T-junction piping system [J]. NUCLEAR ENGINEERING AND DESIGN, 2014, 279 : 91 - 103
- [33] An industrial case study of the verification and validation activities [J]. NINTH INTERNATIONAL SOFTWARE METRICS SYMPOSIUM, PROCEEDINGS, 2003, : 226 - 238
- [34] Integrated security verification and validation: Case study [J]. 31ST IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS, PROCEEDINGS, 2006, : 1000 - +
- [35] Proposed V-Model for Verification, Validation, and Safety Activities for Artificial Intelligence [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 61 - 66
- [36] Expanding the V-Modell® XT for Verification and Validation of Modelling and Simulation Applications [J]. 7TH INTERNATIONAL CONFERENCE ON SYSTEM SIMULATION AND SCIENTIFIC COMPUTING ASIA SIMULATION CONFERENCE 2008, VOLS 1-3, 2008, : 404 - +
- [39] Verification of an improved BSIM3v3 MOSFET model [J]. 2000 HIGH FREQUENCY POSTGRADUATE STUDENT COLLOQUIUM, 2000, : 96 - 101
- [40] The case for primate V3 [J]. PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES, 2012, 279 (1729) : 625 - 633