共 50 条
- [43] Modular model checking of software TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
- [44] Portable software in modular Pascal SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1988, 23 (12): : 79 - 85
- [50] Modular verification of reconfigurable components COMPONENT-BASED SOFTWARE DEVELOPMENT FOR EMBEDDED SYSTEMS: AN OVERVIEW OF CURRENT RESEARCH TRENDS, 2005, 3778 : 59 - 81