下载地址:
下载地址1(本站为飞网专业下载站,域名:down.cfei.net)
资源简介:
(我现在主要在CSDN上整理计算机安全、软件工程(可信软件)、系统及通信方面的论文及相关理论书籍,如果对这方面内容感兴趣,可以访问:http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多,需要大家人工手动查找。另外,资料顺序并不按照时间排列,只是想起来了就上传。CSDN这套系统不敢恭维,也请大家见谅。)NASA在软件与信息系统形式化验证方面的著名会议,NASA在形式化方面具有较强的研究实力,大名鼎鼎的JPF即由其开发和维护。由于NASA在国防、科研方面的特殊地位,此会议也吸引了大量的高校研究学者参加,适合系统安全、可信软件等领域的研究人员参考、学习。
飞网下载站,免费下载共享资料,内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。