机译：安全关键系统统一方法＆amp的概念;安全保障过程
机译：安全关键系统统一方法和安全保证过程的概念
机译：使用保证案例和布尔逻辑驱动的马尔可夫过程来正式确定与全球导航卫星系统进行安全关键交互的网络安全问题
机译：研究网络物理系统中软件保证的安全性与安全性的相互关系：基于贝叶斯信念网络的方法
机译：粮食系统与人类安全：全球变化时期的营养，可持续性和食品安全。
机译：全球粮食安全情景中的植物代谢组学：可持续作物生产的系统生物学方法
机译：安全关键系统统一方法与安全保障过程的概念
机译：早期参与安全和任务保证专业知识使用系统工程工具：基于风险的方法，以及早确定安全和保证要求。
