机译:开发关键社会技术系统的软件体系结构比较分析方法
机译:开发关键社会技术系统的软件体系结构比较分析方法
机译:计算持续时间软件可靠性验证测试的方法的比较,特别是对于安全关键型系统
机译:COIM:一种基于对象过程的方法,用于分析复杂的,互连的,大规模的社会技术系统的体系结构
机译:走向“未来”:使用现代的时间触发软件架构开发对安全至关重要的嵌入式系统
机译:社会技术系统的基于代理的仿真:软件体系结构和计时机制
机译:基于知识的系统。开发和评估专家系统的方法:交互式图形辐射治疗模拟系统的软件设计
机译:在国际机场的关键系统开发软件架构比较分析方法