- 可组合嵌入式软件建模与验证技术研究综述
- 基于接口自动机与符号执行的嵌入式软件测试用例生成
-
The NIST Definition of Cloud Computing.pdf (78.17 KB)
云体系结构下的业务流程管理.pdf (926.71 KB)
一种基于大数据的软件设计模型.pdf (7.44 MB)
分布式进程通信范型形式化验证.pdf (1.31 MB)
多角度介绍Elastos操作系统.doc (661 KB)
楼主: eastriver
|
665
0
The NIST Definition of Cloud Computing |
讲师 60%
-
|
| ||
京ICP备16021002-2号 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问:王进律师 知识产权保护声明 免责及隐私声明