CORC

在结果中检索

CORC

浏览/检索结果: 共192条，第1-10条 帮助

限定条件                    
已选(0)清除 条数/页：   排序方式：
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他
2017-01-01
Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Higher order asymptotic analysis of the Klein-Gordon equation in the non-relativistic limit regime 其他
2017-01-01
Lu, Yong; Zhang, Zhifei
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Barrier certificates revisited 其他
2017-01-01
Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
Poster : Impact of Static and Dynamic Coverage on Test-Case Prioritization: An Empirical Study 其他
2017-01-01
Zhou, Jianyi; Hao, Dan
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
Deep Vein: Novel Finger Vein Verification Methods Based on Deep Convolutional Neural Networks 其他
2017-01-01
Huang, Houjun; Liu, Shilei; Zheng, He; Ni, Liao; Zhang, Yi; Li, Wenxin
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
On the Physical Modeling of Random Telegraph Noise (RTN) Amplitude in Nanoscale MOSFETs: From Ideal to Statistical Devices 其他
2017-01-01
Zhang, Zexuan; Guo, Shaofeng; Zhang, Zhe; Wang, Runsheng; Huang, Ru
收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03
How Do Assertions Impact Coverage-based Test-Suite Reduction? 其他
2017-01-01
Chen, Junjie; Bai, Yanwei; Hao, Dan; Zhang, Lingming; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
运用栅栏函数验证连续系统的有界时间安全性 其他
2016-01-01
甘庭; 夏壁灿
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03
基于逻辑的形式化验证方法:进展及应用 其他
2016-01-01
陈钢; 于林宇; 裘宗燕; 王颖
收藏  |  浏览/下载：5/0  |  提交时间：2017/12/03

©版权所有 ©2017 CSpace - Powered by CSpace