CORC

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

已选(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
Formal specification and refinement of a safe train control function 专著章节/文集论文
出自: Formal methods for embedded distributed systems: how to master the complexity, Norwell, MA, USA, Norwell, MA, USA:Kluwer Academic Publishers, Kluwer Academic Publishers, 2004
V. Winter; D. Kapur; G. Fuehrer
收藏  |  浏览/下载:16/0  |  提交时间:2010/05/27


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