机译:AADL的基于模型的工程:SAE体系结构分析和设计语言简介
机译:使用基于模型的自动安全分析和优化技术改进汽车设计
机译:飞机结构自动生成与分析工具在无人机子系统设计中的应用
机译:基于模型的ARINC653架构的设计与自动验证
机译:SAE体系结构分析和设计语言(AADL)的软件可测试性度量
机译:基于构象敏感性毛细管电泳的突变扫描系统的设计和验证以及SACS基因跨度超过15 kbp的编码序列的自动数据分析
机译:SAE架构分析与设计语言(AADL)标准的概述:基于模型的架构驱动嵌入式系统工程的基础
机译:从aaDL架构和错误模型自动生成故障模式和影响分析