dependability; modelling and validation; safety criticality; wireless control;
机译:SystemJ中设计的对安全至关重要的硬实时系统的内存管理
机译:实时安全关键系统的硬件认证:最新技术
机译:针对安全性和安全性至关重要的分布式实时应用的设计优化
机译:经过验证的无线安全关键硬实时设计
机译:用于大型航空电子系统的硬实时,硬件在环仿真的设计和规范的框架。
机译:在物理环境中实时仿真大型神经系统模型的数字硬件设计
机译:经过验证的无线安全关键硬实时设计
机译:2011年试点美国能源部核重要性安全计划关键性安全工程师培训和教育项目的开发,内容,设计和实施。