共 50 条
- [41] Hallmarks of an Autonomous Space System's Development and V&V 2022 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY (ICAA 2022), 2022, : 129 - 136
- [42] Research on the V&V Technology of the Conceptual Model Described by UML 7TH INTERNATIONAL CONFERENCE ON SYSTEM SIMULATION AND SCIENTIFIC COMPUTING ASIA SIMULATION CONFERENCE 2008, VOLS 1-3, 2008, : 898 - 902
- [43] FORMAL METHODS VERIFICATION & VALIDATION (V&V), FOR LEGACY SYSTEMS PROCEEDINGS OF THE ASME JOINT RAIL CONFERENCE 2012, 2012, : 435 - +
- [45] MSL V&V CEDL Mechanical Systems Test Program 2009 IEEE AEROSPACE CONFERENCE, VOLS 1-7, 2009, : 2826 - 2833
- [46] Software V&V methods for digital plant protection system PROCEEDINGS OF THE INTERNATIONAL TOPICAL MEETING ON ADVANCED REACTORS SAFETY, VOLS 1 AND 2, 1997, : 796 - 801
- [48] Scaling the V&V Mountain: Proving Juno will Succeed at Jupiter 2013 IEEE AEROSPACE CONFERENCE, 2013,
- [49] Selecting V&V technology combinations: How to pick a winner? 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 87 - 94
- [50] Planning for V&V of the Mars Science Laboratory rover software 2004 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-6, 2004, : 682 - 697