安全关键系统

功能行为建模论文-许金淼,杨志斌,黄志球,谢健,周勇
导读:本文包含了功能行为建模论文开题报告文献综述及选题提纲参考文献，主要关键词:安全关键系统,架构分析与设计语言(AADL),层次行为附件(HBA),功能规约功能行为建模论文文...
软件容错模型论文-鲁守荣
导读:本文包含了软件容错模型论文开题报告文献综述及选题提纲参考文献，主要关键词:安全关键系统,功能安全,组件,容错软件容错模型论文文献综述鲁守荣[1]（2015）在《基于组件技...