CSpace

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

已选(0)清除 条数/页:   排序方式:
网络协议测试的符号化一致性关系研究 期刊论文
计算机工程与应用, 2008, 卷号: 44.0, 期号: 029, 页码: 11
作者:  邢熠;  叶新铭;  谢高岗
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
符号化一致性关系  一致性  则试  输入输出符号变迁系统(IOTS)  
基于变迁指标的Petri网分解方法 期刊论文
计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 144
作者:  曾庆田
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
Petri网  变迁指标  分解  可达状态  语言  Petri网分解  分解方法  变迁  结构性质  子系统