共 50 条
- [23] Challenges in software certification FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 4 - 18
- [25] Software process certification system based on K-model for high-performance software engineering CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (04): : 396 - 406