机译:基于MBSA的安全关键系统改进的正式故障分析方法
机译:MBSE和V&V:结合各种V&V策略的一种工具配备方法
机译:剖析Capella的日冕:每个Capella恒星的Fe XXIλ1354和He IIλ1640线的GHRS光谱
机译:不是(严格地)依赖于MBSE的Sysml:语言,工具和发展观点 - Arcadia / Capella理论
机译:比较三种领先的仿真工具,为建筑师进行建筑性能仿真
机译:评估动物健康实验室安全性和生物安全性的工具:粮食及农业组织实验室制图工具的安全模块
机译:基于MBSE的飞机组装工具设计需求建模技术