搜索筛选:
搜索耗时1.2453秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者:戴延军,
来源:现代信息科技 年份:2020
文章将以中冶南方都市环保工程技术股份有限公司为例,通过对企业信息安全重要性进行分析,并从漏洞扫描技术、防火墙技术、信息加密技术、病毒库技术、硬件设备管理水平提升以...
[学位论文] 作者:戴延军,,
来源:南华大学 年份:2020
核电厂安全级DCS是保障核反应堆正常运行的核心控制系统,DCS系统软件的可靠性至关重要。安全级DCS软件系统由组态算法模块搭建而成,组态算法模块的每一条控制路径应符合期望...
[期刊论文] 作者:戴延军,吴志强,刘杰,刘朝晖,陈智,肖安红,
来源:计算机与现代化 年份:2020
在航空、核电和国防军工领域当中,安全关键系统(Safety-Critical System,SCS)的软件非常重要,其可靠性必须通过测试或形式化方法来保障。符号执行作为一种高效的测试用例生成...
相关搜索: