CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Active Learning from Blackbox to Timed Connectors 其他
2016-01-01
Li, Yi; Sun, Meng; Wang, Yiwu
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Modeling and verification of component connectors in Coq 其他
2015-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03
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
A hybrid model of connectors in cyber-physical systems 其他
2014-01-01
Chen, Xiaohong; Sun, Jun; Sun, Meng
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Modeling and Analysis of Component Connectors in Coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
A Hybrid Model of Connectors in Cyber-Physical Systems 其他
2014-01-01
Chen, Xiaohong; Sun, Jun; Sun, Meng
收藏  |  浏览/下载：5/0  |  提交时间：2015/11/16
Modeling and analysis of component connectors in coq 其他
2014-01-01
Li, Yi; Sun, Meng
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/03
Using zhang diagram in system design and programming 其他
2014-01-01
Zhang, Wei; Pan, Lan; 潘兰
收藏  |  浏览/下载：4/0  |  提交时间：2015/07/22
Connectors as designs: The time dimension 其他
2012-01-01
Meng, Sun
收藏  |  浏览/下载：6/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

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