...
机译:用于分析人为操作的安全关键系统中的事故的概念模型
Software safety; HCl; Control; Accident models; Hazard analysis; Risk analysis; Human factors;
机译:用于分析人为操作的安全关键系统中的事故的概念模型
机译:使用随机造型的NPP安全关键和控制系统的可用性分析
机译:使用状态空间模型的安全关键系统的安全性分析
机译:系统安全关键系统建模和分析的空间功能
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:凸轮联动机构驱动四足仿生马机器人单腿系统的概念设计和计算建模分析
机译:基于系统模型和软件模型共分析的安全关键系统软件FMEA
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范