|
已选(0)清除
条数/页： 排序方式：
|
| 面向多核处理器的低级并行程序验证 期刊论文
2010, 2010
朱允敏; 张丽伟; 王生原; 董渊; 张素琴; ZHU Yun-min; ZHANG Li-wei; WANG Sheng-yuan; DONG Yuan; ZHANG Su-qin
  收藏 | 浏览/下载：2/0 |
| 基于POOSL的系统性能建模与性能分析 期刊论文
2010, 2010
刘付娥; 葛宁; 周祖成; LIU FU-E; GE NING; ZHOU ZUCHENG
收藏 | 浏览/下载：1/0 |
| Optimization technology for real-time performance in VRML-based collaborative design 期刊论文
2010, 2010
Wang Qiao-yu; Tian Ling
收藏 | 浏览/下载：3/0 |
| Workflow coordinated process modeling 期刊论文
2010, 2010
Chu Jing-hui; Song Bin-heng
收藏 | 浏览/下载：1/0 |
| Requirements analyses integrating goals and problem analysis techniques 期刊论文
2010, 2010
Liu Lin; Jin Zhi
收藏 | 浏览/下载：3/0 |
| Environment ontology-based capability specification for web service discovery 会议论文
Formal Methods and Software Engineering, Proceedings, 8th International Conference on Formal Engineering Methods (ICFEM 2006), Macao, PEOPLES R CHINA, Web of Science
Wang, Puwei; Jin, Zhi; Liu, Lin
收藏 | 浏览/下载：4/0 |
| A formal description of SECIMOS operating system 期刊论文
2010, 2010
Zhou, ZY; Liang, B; Jiang, L; Shi, WC; He, YP
收藏 | 浏览/下载：4/0 | 提交时间：2017/06/15
|
| HCDFG-II - a representation of control/data flow graph for C language system specification 期刊论文
2010, 2010
Niu Yawen; Bian Jinian; Wu Qiang; Xue Hongxi
收藏 | 浏览/下载：2/0 |
| Application of object-oriented technique in the OCC C compiler 期刊论文
2010, 2010
Ren Jie; Yang Xin; Shi Lei; Chen Yu; Yang Wei-kang
收藏 | 浏览/下载：2/0 |
| Formalization description method of agent behaviors for multi-agent simulation 期刊论文
2010, 2010
Cao Jun-hai; Zhang He-ming; Xiong Guang-leng
收藏 | 浏览/下载：1/0 |
