机译:确保基于安全的计算机系统的设计安全
BHU, IIT, Dept Comp Sci & Engn, Varanasi, Uttar Pradesh, India;
BHU, IIT, Dept Math Sci, Varanasi, Uttar Pradesh, India;
Nuclear power plant; Petri net; Reactor protection system; System safety; System reliability;
机译:安全关键计算机系统的安全验证:以核电站系统为例
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键计算机系统定量安全评估的研究框架
机译:安全性能通过OASIS模型确保安全关键实时系统
机译:使用基于算法的安全保证的关键安全系统设计。
机译:基于区块链的可追溯性系统可确保食品安全措施以保护消费者安全和Covid-19免费供应链
机译:安全关键计算机系统中软件安全的方法框架
机译:安全关键计算机系统的风险缓解概述。