共 15 条
- [6] Overview of Roadmapping by EternalS LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 32 - 34
- [7] Task Forces in the EternalS Coordination Action LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 20 - 22
- [10] Modeling and Analyzing Diversity Description of EternalS Task Force 1 LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 23 - 25