共 50 条
- [21] Verification and Validation of Formal Data-Centric Business Models EMBRACING GLOBAL COMPUTING IN EMERGING ECONOMIES, EGC 2015, 2015, 514 : 134 - 147
- [22] Using Formal Methods for Verification and Validation in Railway TESTS AND PROOFS, TAP 2016, 2016, 9762 : 3 - 13
- [25] Validation of turbulence models for turbomachinery flows - A review ENGINEERING TURBULENCE MODELLING AND EXPERIMENTS 5, 2002, : 43 - 57
- [27] TOWARDS A VERIFICATION AND VALIDATION FRAMEWORK FOR COVID-19 FORECAST MODELS PROCEEDINGS OF THE 2021 ANNUAL MODELING AND SIMULATION CONFERENCE (ANNSIM'21), 2020,
- [28] 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
- [29] Verification and Validation of UML Artifact-Centric Business Process Models ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2015, 2015, 9097 : 434 - 449
- [30] 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