共 50 条
- [2] Raising the bar: Assurance cases for scientific software Computing in Science and Engineering, 2021, 23 (01): : 47 - 57
- [6] Software platform for embedded software development REAL-TIME AND EMBEDDED COMPUTING SYSTEMS AND APPLICATIONS, 2003, 2968 : 545 - 557