CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
A Framework for Off-Line Conformance Testing of Timed Connectors 其他
2015-01-01
Li, Shaodong; Chen, Xiaohong; Wang, Yiwu; Sun, Meng
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Modular verification of OO programs with interfaces 其他
2012-01-01
Qiu, Zongyan; Hong, Ali; Liu, Yijing
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/17
Connectors as designs: Modeling, refinement and test case generation 其他
2012-01-01
Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Astefanoaei, Lacramioara; de Boer, Frank S.; Rutten, Jan
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10
A concern-based approach to generating formal requirements specifications 期刊论文
frontiers of computer science in china, 2010
Jin, Ying; Zhang, Jing; Hao, Weiping; Ma, Pengfei; Zhang, Yan; Zhao, Haiyan; Mei, Hong
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/16
Correct Channel Passing by Construction 其他
2008-01-01
Cai, Chao; Qiu, Zongyan; Zhao, Xiangpeng; Yang, Hongli
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Towards the theoretical foundation of choreography 其他
2007-01-01
Qiu, Zongyan; Zhao, Xiangpeng; Cai, Chao; Yang, Hongli
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13
Application of high-level design of hardware with timed CSP 期刊论文
jisuanji gongchengcomputer engineering, 2006
Cui, Xiaoxin; Yu, Dunshan; Cui, Xiaole; Sheng, Shimin
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
On the classification of UML's meta model extension mechanism 其他
2004-01-01
Jiang, YB; Shao, WZ; Zhang, L; Ma, ZY; Meng, XW; Ma, HH
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/13
Hardware/software partitioning in Verilog 其他
2002-01-01
Qin, SC; He, JF; Qiu, ZY; Zhang, NX
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
A component-based framework and reusability in Garment 其他
2001-01-01
Zhang, NX; Liu, Y
收藏  |  浏览/下载：1/0  |  提交时间：2015/11/13

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