共 41 条
- [1] Optimizing the V&V Process for Critical Systems [J]. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1139 - 1139
- [2] VERIFICATION AND VALIDATION (V&V) OF GUIDANCE & CONTROL SYSTEMS: RESULTS FROM THE FIRST INTER-AGENCY WORKSHOP ON GNC V&V [J]. PROCEEDINGS OF THE 44TH ANNUAL AMERICAN ASTRONAUTICAL SOCIETY GUIDANCE, NAVIGATION, AND CONTROL CONFERENCE, AAS 2022, 2024, : 399 - 432
- [4] Use of static analysis in the V&V process for critical embedded software [J]. DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 323 - 330
- [6] Scalable Ontology-Based V&V Process for Heterogeneous Systems and Applications [J]. ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 341 - 350
- [7] A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 15 - 22
- [8] V&V Plan for FPGA-based ESF-CCS Using System Engineering Approach. [J]. INTERNATIONAL CONFERENCE ON NUCLEAR ENERGY TECHNOLOGIES AND SCIENCES (ICONETS 2017), 2018, 962
- [9] Parametric and V&V study in a fundamental CFD process: revisiting the lid-driven cavity flow [J]. AIRCRAFT ENGINEERING AND AEROSPACE TECHNOLOGY, 2022, 94 (04): : 515 - 530
- [10] DISCRETE EVENT SIMULATION OF APPOINTMENTS HANDLING AT A CHILDREN'S HOSPITAL CALL CENTER: LESSONS LEARNED FROM V&V PROCESS [J]. 2018 WINTER SIMULATION CONFERENCE (WSC), 2018, : 3861 - 3872