安全关键软件系统相关硕士博士期刊学术论文 - 搜论网

安全关键软件系统相关论文

一种安全关键软件系统的形式化开发模型

形式化方法的主要研究对象是计算机系统的设计和验证，近扯为，形式化方法的研究扩展到计算机应用系统的各个领域，尤其是安全关键系统。......

期刊

安全关键软件系统开发模型形式化开发方法计算机软件开发 software safety-critical formalization develo

看过本文同时还关注