|
已选(0)清除
条数/页： 排序方式：
|
| 一种多敏感空指针引用错误的静态检测方法 期刊论文
2016, 2016
白杨; 王瑀屏; Bai Yang; Wang Yuping
  收藏 | 浏览/下载：2/0 |
| 广义轨道根数空间的轨道机动可达性 期刊论文
2016, 2016
张鹏; 唐歌实; 李俊峰; ZHANG Peng; TANG Geshi; LI Junfeng
收藏 | 浏览/下载：6/0 |
| Reachability analysis of Web service compositions via NWA 期刊论文
2010, 2010
Du Xutao; Xing Chunxiao; Zhou Lizhu
收藏 | 浏览/下载：7/0 |
| Sliding mode variable structure control for parameter uncertain stochastic systems with time-varying delay 期刊论文
2010, 2010
Xing, Hailong; Gao, C. C.; Li, Donghai
收藏 | 浏览/下载：4/0 |
| 城市路网交通状态分析方法研究 期刊论文
2010, 2010
张和生; 张毅; 胡东成; Zhang Hesheng; Zhang Yi; Hu Dongcheng
收藏 | 浏览/下载：6/0 |
| 基于价格时间Petri网的网格计算应用模型及分析 期刊论文
2010, 2010
刘卫东; 宋佳兴; 林闯; LIU Wei-dong; SONG Jia-xing; LIN Chuang
收藏 | 浏览/下载：2/0 |
| Petri网模型参数化可达图研究 期刊论文
2010, 2010
宋佳兴; 林闯; SONG Jia-xing; LIN Chuang
收藏 | 浏览/下载：3/0 |
| 基于CTL和Petri网的约束一致性验证方法研究 期刊论文
2010, 2010
张斌; 罗贵明; Zhang Bin; Luo Guiming
收藏 | 浏览/下载：4/0 |
| 区域交通状态分析的时空分层模型 期刊论文
2010, 2010
张和生; 张毅; 胡东成; 王明军; ZHANG Hesheng; ZHANG Yi; HU Dongcheng; WANG Mingjun
收藏 | 浏览/下载：2/0 |
| 使用NWA对组合web服务进行可达性分析(英文) 期刊论文
2010, 2010
杜旭涛; 邢春晓; 周立柱; Du Xutao; Xing Chunxiao; Zhou Lizhu
收藏 | 浏览/下载：3/0 |
