系统理论危害分析相关硕士博士期刊学术论文

安全性苛求系统的安全性关系关系着人们生命财产安全,而软件与系统的安全性紧密相关。形式化验证方法可以证明软件的正确性,但并不......