共 50 条
- [1] A Review of Verification and Validation for Space Autonomous Systems Current Robotics Reports, 2021, 2 (3): : 273 - 283
- [3] Verification, validation and accreditation: An HLA FEDEP overlay 2006 Canadian Conference on Electrical and Computer Engineering, Vols 1-5, 2006, : 2163 - 2166
- [4] Machine-Learned Specifications for the Verification and Validation of Autonomous Cyberphysical Systems 2022 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2022), 2022, : 333 - 341
- [5] 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
- [7] The Verification and Validation of Software Architecture for Systems of Systems 2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING SOSE 2009, 2009, : 130 - 135
- [8] Verification and Validation of Adaptive Instructional Systems: A Text Mining Review ADAPTIVE INSTRUCTIONAL SYSTEMS, AIS 2024, 2024, 14727 : 25 - 43
- [9] Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles 2023 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, AIM, 2023, : 1208 - 1213
- [10] Early verification and validation of mission critical systems Formal Methods in System Design, 2007, 30