CSpace

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

已选(0)清除 条数/页:   排序方式:
基于CTL的SOCIP核的测试技术 期刊论文
计算机工程与科学, 2005, 卷号: 27.0, 期号: 004, 页码: 43
作者:  吴明行;  韩银和;  李晓维
收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04
核测试语言  CTL语言  SOCIP核  测试技术  程序语言