Study on the Reliability Demonstration Testing Method for Safety-critical Software

• 安全关键软件可靠性验证测试方法研究