共 50 条
- [2] Engineering and Employing Reusable Software Components for Modular Verification [J]. MASTERING SCALE AND COMPLEXITY IN SOFTWARE REUSE (ICSR 2017), 2017, 10221 : 139 - 154
- [3] Modular verification of reconfigurable components [J]. COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 59 - 81
- [4] Development a modular factory with modular software components [J]. 27TH INTERNATIONAL CONFERENCE ON FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING, FAIM2017, 2017, 11 : 922 - 930
- [5] Towards Static Modular Software Verification [J]. Lect. Notes Informatics (LNI), Proc. - Series Ges. Inform. (GI), (147-153):
- [6] Modular Verification of Interrupt-Driven Software [J]. PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 206 - 216
- [7] The influence of software module systems on modular verification [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2002, 2318 : 60 - 78
- [9] Compatibility of software components - Modeling and verification [J]. DEPCOS-RELCOMEX 2006, 2006, : 11 - +