|
已选(0)清除
条数/页： 排序方式：
|
| 基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
  收藏 | 浏览/下载：5/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
|
| Coq Implementation of OO Verification Framework VeriJ 其他
2016-01-01
Zhang, Ke; Qiu, Zongyan
收藏 | 浏览/下载：3/0 | 提交时间：2017/12/03
|
| Modeling and Analysis of Component Connectors in Coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/16
|
| Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components 其他
2014-01-01
Hong, Ali; Liu, Yijing; Qiu, Zongyan
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/16
|
| Automated test oracle generation via denotational semantics 其他
2014-01-01
Guo, Hai-Feng; Cao, Liang; Song, Yushu; Qiu, Zongyan
收藏 | 浏览/下载：7/0 | 提交时间：2015/11/17 |
| A Hybrid Model of Connectors in Cyber-Physical Systems 其他
2014-01-01
Chen, Xiaohong; Sun, Jun; Sun, Meng
收藏 | 浏览/下载：5/0 | 提交时间：2015/11/16
|
| IscasMc: A web-based probabilistic model checker 其他
2014-01-01
Hahn, Ernst Moritz; Li, Yi; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/13 |
| Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems 其他
2014-01-01
Wang, Wusheng; Hildebrandt, Thomas T.
收藏 | 浏览/下载：5/0 | 提交时间：2015/11/13 |
| Solving siphons with the minimal cardinality for deadlock control 其他
2013-05-31
作者: Li, Shaoyong
收藏 | 浏览/下载：6/0 | 提交时间：2020/11/18
|
