机译:使用基于模型的自动安全分析和优化技术改进汽车设计
Univ Hull, Dept Comp Sci, Kingston Upon Hull HU6 7RX, N Humberside, England;
fault tree synthesis; automated safety analysis; software hazard analysis; fault tolerance; multi-objective optimization; SYSTEMS; ALGORITHM;
机译:Muscat葡萄酒精神的质量芳香改善:一种新的方法,采用多原则基于模型的设计和多目标动态优化通过多变量分析技术
机译:基于分布式模型的传感器故障检测方法的设计与优化无线传感器网络中的网络自动网络执行
机译:基于模型的飞行控制软件开发中的执行时间分析和优化技术
机译:使用基于模型的安全分析技术优化网络控制系统
机译:用于基于模型的嵌入式实时软件设计和分析的技术和工具。
机译:在非工作时间的基础护理中优化具有暗示急性心血管疾病症状的呼叫者的电话分类:安全第一研究的观察设计
机译:使用AADL的ARINC653架构的基于模型的设计,自动代码生成和安全性分析