Mission critical systems; Unified modeling language; Data models; Computer architecture; Safety; Real-time systems; Security;
机译:开发一种用于计算机辅助夹具设计中的定位系统设计的有效干扰预测方法
机译:借助模型驱动的开发方法设计基于规则的专家系统
机译:Gaia-PL:有效设计多主体系统的产品线工程方法
机译:设计关键任务系统的有效方法:案例研究:防御援助套件(DAS)系统
机译:一种用于为基于组件的安全关键系统生成测试套件的新颖方法。
机译:评估和确认一套国家卫生系统绩效(HSP)指标在加拿大的效用的系统方法:Delphi修正研究
机译:设计多核系统上MPI节点内通信的有效内核级和用户级混合方法*