共 50 条
- [3] A framework for verification and validation of integrated and adaptive control systems PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 243 - 248
- [5] Verification and Validation of Neuro-adaptive Aircraft Control Systems 1ST INTERNATIONAL NORTH-AMERICAN SIMULATION TECHNOLOGY CONFERENCE, 2008, : 7 - +
- [6] The Generic Methodology for Verification and Validation to support acceptance of models, simulations and data JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2013, 10 (04): : 347 - 365
- [7] VECMAtk: a scalable verification, validation and uncertainty quantification toolkit for scientific simulations PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2021, 379 (2197):
- [8] Verification, validation, and accreditation for models and simulations in the Australian defence context: a review JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2024, 21 (02): : 205 - 227
- [9] Introducing VECMAtk - Verification, Validation and Uncertainty Quantification for Multiscale and HPC Simulations COMPUTATIONAL SCIENCE - ICCS 2019, PT IV, 2019, 11539 : 479 - 492
- [10] Using Formal Methods for Verification and Validation in Railway TESTS AND PROOFS, TAP 2016, 2016, 9762 : 3 - 13