机译:基于系统理论过程分析模型的正式系统交互式故障分析方法
Beihang Univ Beijing Peoples R China;
Beihang Univ Beijing Peoples R China;
AECC AERO Engine Control Syst Inst Beijing Peoples R China;
Engine failures; Aircraft failures; Failure analysis;
机译:基于系统理论过程分析模型的正式系统交互式故障分析方法
机译:HI-Maude中交互混合系统的形式化建模和分析:2010年桑拿世界锦标赛发生了什么?
机译:交互式混合系统的形式化建模与分析
机译:基于系统理论事故建模与过程的软件控制系统危害分析方法
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:基于线性响应函数分析的有限元模型和分子系统近视性理论研究
机译:迈向系统理论过程分析(STPA)的建模语言:基于UML的模型驱动系统理论过程分析(STPA)领域专用语言(DSL)的提案
机译:工作流中的系统分析方法的分类和评估上下文:结构化系统分析设计方法(ssaDm),统一建模语言(UmL),统一过程,软系统方法(ssm)和组织过程建模(Opm