CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
A Method of Virtual Test Based on Model Checking and a Case Study 会议论文
Chinese Intelligent Systems Conference (CISC), Xiamen, PEOPLES R CHINA, 2016-01-01
作者:  Wuniri, Qiqige;  Li, Xiaoping;  Yang, Fan;  Ma, Shilong;  Liu, Yifan
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
State transition graph and stability of singular equilibria for piecewise linear biological models 期刊论文
Physica D: Nonlinear Phenomena, 2013, 卷号: 246, 期号: 1, 页码: 39-49
作者:  Wang, Jiafu;  Wang, Lin*
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/28
A New Hazard Identification Method-State Transition Graph 会议论文
MEASURING TECHNOLOGY AND MECHATRONICS AUTOMATION, PTS 1 AND 2, 2011-01-06
作者:  Hu Min[1];  Wu Fangfang[2];  Zhu Bo[3];  Lu Bo[4];  Pu Jinglei[5]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/30
A loop-based apparatus for at-speed self-testing 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 卷号: 16, 期号: 3, 页码: 278-285
作者:  Li, XW;  Cheung, PYS
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/16
An effective apparatus for at-speed self-testing 其他
1999-01-01
Li, XW; Cheung, PYS
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/16
A Cost-Effective Scheme for At-Speed Self-Test 其他
1993-01-01
Xiaowei Li; Fuqing Yang
收藏  |  浏览/下载：1/0  |  提交时间：2017/12/03

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