共 50 条
- [42] Scaling the V&V Mountain: Proving Juno will Succeed at Jupiter 2013 IEEE AEROSPACE CONFERENCE, 2013,
- [43] Selecting V&V technology combinations: How to pick a winner? 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 87 - 94
- [44] Planning for V&V of the Mars Science Laboratory rover software 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 682 - 697
- [45] Formal methods for V&V of partial specifications: An experience report RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 160 - 168
- [46] A Method of Dynamic V&V Based on HILS for CTCS3 2009 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, VOL 1, 2009, : 117 - 121
- [49] A conceptual, methodological and technical contribution for Modeling and V&V in MBSE context 2022 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE), 2022,