共 50 条
- [1] Modular verification of software components in C 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 385 - 395
- [5] Modular Development of Mobile Robots with Open Source Hardware and Software Components ROBOCUP 2013: ROBOT WORLD CUP XVII, 2014, 8371 : 576 - 583
- [7] Modular Development of Certified System Software THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 5 - 5
- [8] Engineering and Employing Reusable Software Components for Modular Verification MASTERING SCALE AND COMPLEXITY IN SOFTWARE REUSE (ICSR 2017), 2017, 10221 : 139 - 154
- [9] Integration Scheme for Modular Snake Robot Software Components MODELLING AND SIMULATION FOR AUTONOMOUS SYSTEMS, MESAS 2014, 2014, 8906 : 184 - 191