CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Barrier certificates revisited 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:  Dai, Liyun;  Gan, Ting;  Xia, Bican;  Zhan, Naijun
收藏  |  浏览/下载：34/0  |  提交时间：2017/02/16
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
Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant 期刊论文
2016, 2016
Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun; Hui Kong; Fei He; Xiaoyu Song; Ming Gu; Hongyan Tan; Jiaguang Sun
收藏  |  浏览/下载：4/0
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 2, 页码: 285-297
作者:  Wang, Jian;  Li, Huawei;  Lv, Tao;  Wang, Tiancheng;  Li, Xiaowei
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/13
Radl 形式规格说明相对正确性研究 期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
Program Verification by Reduction to Semi-algebraic Systems Solving 其他
2008-01-01
Xia, Bican; Yang, Lu; Zhan, Naijun
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Program Verification by Reduction to Semi-algebraic Systems Solving 其他
2008-01-01
Xia, Bican; Yang, Lu; Zhan, Naijun
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
generating polynomial invariants with discoverer and qepcad 会议论文
Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25,
Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun
收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29
The design and verification of FPGA CAD toolset 会议论文
international symposium on integrated circuits, singapore`, singapore, sep 26-28, 2007
Zhou HB; N, MH; Chen S; Liu ZL
收藏  |  浏览/下载：32/0  |  提交时间：2010/03/09

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