共 50 条
- [22] Parallel Verification of Software Architecture Design 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 50 - 57
- [25] Towards Automated Software Verification and Validation PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT, VOL 1, 2009, : 206 - 210
- [28] Validation and verification of METEOR safety software COMPUTERS IN RAILWAYS VII, 2000, 7 : 189 - 200
- [30] The Role of Verification and Validation in Software Testing PROCEEDINGS OF THE 10TH INDIACOM - 2016 3RD INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT, 2016, : 1298 - 1301