Lero-the Irish Software Eng. Res. Centre, Univ. of Limerick, Limerick, Ireland;
evolving critical systems (ECS); softwware evolution;
机译:安全关键计算机系统的安全验证:以核电站系统为例
机译:基于计算机的关键系统知识诱导的进步
机译:收回通知。重症监护护士从业人员和临床护士专家将模式与Scott Weber的基于计算机的决策支持系统进行接口。
机译:关键系统的发展:基于计算机的系统的研究议程
机译:文化系统的鲁棒性和可进化性:识别鲁棒的文化元素并绘制文化传承系统的图。
机译:关于基于计算机的临床决策支持系统对临床医生表现和患者预后的影响的文献的重要评估。
机译:不断发展的关键系统:基于计算机的系统的研究议程。
机译:安全关键计算机系统的风险缓解概述。