架构分析与设计语言(AADL)

导读:本文包含了功能行为建模论文开题报告文献综述及选题提纲参考文献，主要关键词:安全关键系统,架构分析与设计语言(AADL),层次行为附件(HBA),功能规约功能行为建模论文文...