CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Modelling Distributed Motion Control Applications using IEC 61499 Function Blocks 会议论文
Lisbon, PORTUGAL, October 14-17, 2019
作者:  Dai WB(戴文斌);  Sun, Weiqi;  Wu, Xian;  Wang P(王鹏);  Zhang HL(张华良)
收藏  |  浏览/下载：21/0  |  提交时间：2020/05/16
Modelling Industrial Cyber-Physical Systems using IEC 61499 and OPC UA 会议论文
Porto, Portugal, July 18-20, 2018
作者:  Wang P(王鹏);  Zhang, Zhijie;  Song, Yineng;  Dai WB(戴文斌);  Vyatkin, Valeriy
收藏  |  浏览/下载：34/0  |  提交时间：2018/11/10
An Executable Model and Testing for Web Software based on Live Sequence Charts 会议论文
15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), 2016-06-26
作者:  Li, Liping[1];  Gao, Honghao[2];  Shan, Tang[3]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26
An executable semantics of SystemC transaction level models and its applications with VERDS 会议论文
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Zeng, Naiju (1); Zhang, W. (1)
收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16
a path-oriented approach to generating executable test sequences for extended finite state machines 会议论文
IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012
Wu Tianyong; Yan Jun; Zhang Jian
收藏  |  浏览/下载：18/0  |  提交时间：2013/09/22
toward effectively locating integration-level faults in bpel programs 会议论文
12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012
Sun Chang-Ai; Zhai Yimeng; Shang Yan; Zhang Zhenyu
收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22
Path planning for robot fish in water-polo game: Tangent circle method 会议论文
Jia, Yongnan; Xie, Guangming; Wang, Long
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
formal derivation of two algorithms involving sequences 会议论文
2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011, Sanya, Hainan Island, China, May 16, 20
Shi Haihe; Xue Jinyun
收藏  |  浏览/下载：12/0  |  提交时间：2013/10/08
model construction and priority synthesis for simple interaction systems 会议论文
3rd NASA Formal Methods Symposium, NFM 2011, Pasadena, CA, United states, April 18,
Cheng Chih-Hong; Bensalem Saddek; Jobstmann Barbara; Yan Rongjie; Knoll Alois; Ruess Harald
收藏  |  浏览/下载：10/0  |  提交时间：2013/10/08
macml: a domain-specific language for machinery service management 会议论文
2010 International Conference on Service Sciences, ICSS 2010, Hangzhou, China, 43963
Yang Junwei; Hu Zhongxiang; Zheng Yujun
收藏  |  浏览/下载：17/0  |  提交时间：2011/03/31

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