共 50 条
- [21] A Discourse on Software Safety and Software Reliability 2014 60TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2014,
- [25] SOFTWARE SAFETY HANDBOOK COMPASS 89 : PROCEEDINGS OF THE FOURTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE: SYSTEMS INTEGRITY, SOFTWARE SAFETY AND PROCESS SECURITY, 1989, : 14 - 17
- [30] Developing Reliable Component-Based Software in Mediator FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 432 - 435