Security; Cyber-physical systems; Analytical models; Software; Law; Hardware; Stakeholders;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:网络结构的安全关键系统构建行为模型的系统方法
机译:在安全关键自治系统建模中利用增强智能
机译:安全关键系统可追溯威胁建模
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:跟踪Insider攻击者:内部内部威胁的区块链可追溯性系统
机译:为网络结构安全关键系统构建组合行为模型的系统方法