已选(0)清除
条数/页: 排序方式:
|
| Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他 2017-01-01 Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:4/0  |  提交时间:2017/12/03
|
| Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2017/12/03
|
| Barrier certificates revisited 其他 2017-01-01 Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:7/0  |  提交时间:2017/12/03
|
| 运用栅栏函数验证连续系统的有界时间安全性 其他 2016-01-01 甘庭; 夏壁灿
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2017/12/03
|
| Secure information flow in Java via reachability analysis of pushdown system 其他 2010-01-01 Sun, Cong; Tang, Liyong; Chen, Zhong
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2015/11/13 |
| Improving encoding efficiency for Bounded Model Checking 其他 2008-01-01 Yang, Jinji; Su, Kaile; Chen, Qingliang
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:2/0  |  提交时间:2015/11/16 |