共 50 条
- [21] Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 300 - 314
- [22] Formal Verification and Validation of DEVS Simulation Models AFRICON, 2013, 2013, : 1189 - 1194
- [23] AN INTRODUCTORY TUTORIAL ON VERIFICATION AND VALIDATION OF SIMULATION MODELS 2015 WINTER SIMULATION CONFERENCE (WSC), 2015, : 1729 - 1740
- [24] A framework for verification and validation of simulation models and applications ASIASIM 2007, 2007, 5 : 237 - +
- [25] VERIFICATION AND VALIDATION OF PIPELINE TERMINAL SIMULATION MODELS PROCEEDINGS OF THE 10TH INTERNATIONAL PIPELINE CONFERENCE - 2014, VOL 4, 2014,
- [26] VERIFICATION AND VALIDATION OF SIMULATION MODELS: AN ADVANCED TUTORIAL 2020 WINTER SIMULATION CONFERENCE (WSC), 2020, : 16 - 29
- [27] An integrated approach to verification, validation, and accredition of models and simulations PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 872 - 881