中文版 | English

在结果中检索

CSpace

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

限定条件            
已选(0)清除 条数/页：   排序方式：
Formal description of mobile IPv6 protocol 期刊论文
FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 卷号: 3731, 页码: 538-541
作者:  Zhang, YJ;  Li, ZC
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/16
Clustering of behavioral phases in FSMs and its applications to VLSI test 期刊论文
SCIENCE IN CHINA SERIES F, 2002, 卷号: 45, 期号: 6, 页码: 462-478
作者:  Li, HW;  Min, YH;  Li, ZC
收藏  |  浏览/下载：72/0  |  提交时间：2019/12/16
finite-state machines  clustering of states  behavioral descriptions  test generation