共 50 条
- [2] Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 536 - 548
- [3] Monitoring off-the-shelf components VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 222 - 236
- [4] Single Event Effect Testing of Commercial Off-The-Shelf Components 2015 FOURTH INTERNATIONAL CONFERENCE ON AEROSPACE SCIENCE AND ENGINEERING (ICASE), 2016,
- [6] BUYING OFF-THE-SHELF PC SOFTWARE I&CS-CONTROL TECHNOLOGY FOR ENGINEERS AND ENGINEERING MANAGEMENT, 1987, 60 (05): : 49 - 52
- [7] INSTALL SOFTWARE OFF-THE-SHELF - FORGET IT SYSTEMS INTEGRATION BUSINESS, 1991, 24 (04): : 55 - &
- [8] Verification and validation of off-the-shelf software Medical Device and Diagnostic Industry, 1995, 17 (04):
- [10] Lifecycle for off-the-shelf software validation ASQ'S 57TH ANNUAL QUALITY CONGRESS PROCEEDINGS: EXPANDING HORIZON: GLOBAL, PERSONAL, TOOLS, NETWORKING, SOLUTIONS, 2003, : 65 - 78