|
已选(0)清除
条数/页： 排序方式：
|
| 2000-2014年呼伦贝尔草原植被覆盖度时空变化分析 期刊论文
北京大学学报 自然科学版, 2017
彭飞; 范闻捷; 徐希孺; 刘星
  收藏 | 浏览/下载：4/0 | 提交时间：2017/12/03
|
| Reachability in Fuzzy Game Graphs 期刊论文
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Li, Dechao
收藏 | 浏览/下载：6/0 | 提交时间：2017/12/03
|
| Joint analysis of longitudinal data with additive mixed effect model for informative observation times 其他
2016-01-01
Fang, Sha; Zhang, Haixiang; Sun, Liuquan
收藏 | 浏览/下载：4/0 | 提交时间：2017/12/03
|
| Towards Concolic Testing for Hybrid Systems 其他
2016-01-01
Kong, Pingfan; Li, Yi; Chen, Xiaohong; Sun, Jun; Sun, Meng; Wang, Jingyi
收藏 | 浏览/下载：9/0 | 提交时间：2017/12/03
|
| Model checking computation tree logic over finite lattices 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou
收藏 | 浏览/下载：3/0 | 提交时间：2017/12/03
|
| Modeling and verification of component connectors in Coq 其他
2015-01-01
Li, Yi; Sun, Meng
收藏 | 浏览/下载：7/0 | 提交时间：2017/12/03
|
| Model checking fuzzy computation tree logic 期刊论文
fuzzy sets and systems, 2015
Pan, Haiyu; Li, Yongming; Cao, Yongzhi; Ma, Zhanyou
收藏 | 浏览/下载：7/0 | 提交时间：2015/11/11
|
| On using domain patterns to validate domain related properties of software requirements specifications 期刊论文
journal of information and computational science, 2015
Wen, Beibei; Zhu, Xuefeng
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/13 |
| Comparative investigation of three Bayesian p values 其他
2014-01-01
Zhang, Junni L.
收藏 | 浏览/下载：5/0 | 提交时间：2015/11/10
|
| Model checking business processes for web service compositions in mCRL2 其他
2014-01-01
Sun, Meng; Li, Shaodong; Ou, Yufei
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/17 |
