-
重点介绍了DFTS(Design For Trustworthy Software),可信软件开发过...
大小：11.63MB | 2020-09-19 05:18:25 -
内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系...
大小：28.05MB | 2020-06-02 16:47:53 -
SOSP 2011-ACM Symposium on Operating Systems Princ...
大小：29.85MB | 2019-06-27 03:02:32 -
POPL 2011-Annual Symposium on Principles of Progra...
大小：27.76MB | 2019-06-27 03:02:27 -
IEEE Symposium on Security & Privacy 2008年论文集（Proc...
大小：16.25MB | 2019-06-27 03:02:24 -
SS 2011-USENIX Security Symposium 2011 Proceedings...
大小：28.86MB | 2019-06-27 03:02:11 -
主要介绍如何使用automata以及PetriNets对离散事件（动态）系统进行建模及描述。吴老师上...
大小：11.33MB | 2019-06-22 07:37:41 -
操作系统研究领域的顶级会议SOSP2009年论文集。关于SOSP，请参考以下简介：操作系统（OS）领...
大小：13.38MB | 2019-06-01 07:21:54 -
计算机安全界的顶级会议IEEESymposiumonSecurity&Privacy2010年论文集...
大小：19.94MB | 2019-06-01 07:21:26 -
这本书是一本不可多得的好书。强烈推荐相关测试及开发、管理人员阅读。同时软件分析与测试方面的研究人员也...
大小：8.96MB | 2019-05-19 12:39:49
Ta的上传资源列表