10.3778/j.issn.1673-9418.1511003
面向AltaRica模型的嵌入式系统安全性验证方法
嵌入式系统、安全性验证、AltaRica模型、Promela模型
11
TP311.5(计算技术、计算机技术)
The National Basic Research Program of China under Grant No.2014CB744903国家重点基础研究发展计划973计划;the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry of China under Grant No.2012;the Science Foundation for Youth Science and Technology Innovation of Nanjing University of Aeronautics and Astronautics under Grant No.NS2014098
2017-05-03(万方平台首次上网日期,不代表论文的发表时间)
共13页
24-36