共 50 条
- [41] Using ontologies for verification and validation of workflow-based experiments JOURNAL OF WEB SEMANTICS, 2017, 43 : 25 - 45
- [43] On design validation using verification technology JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1999, 15 (1-2): : 173 - 189
- [47] Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification ACM/IEEE 27TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS, MODELS 2024, 2024, : 287 - 298
- [49] A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (07): : 1526 - 1529