标题:Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems
作者:Banach, R[1];Zhu, HB[2]
作者全称:Banach, Richard[1];Zhu, Huibiao[2]
通讯作者:Banach, Richard(banach@cs.man.ac.uk)
通讯作者地址:Banach, R (reprint author), Univ Manchester, Sch Comp Sci, Oxford Rd, Manchester M13 9PL, Lancs, England.
出版年:2017
卷:694
页码:109-125
摘要:In the effort to develop critical cyberphysical systems, existing computing formalisms are extended to include continuous behaviour. This may happen i 更多
收录类别:SCOPUS;CPCI-S;EI
资源类型:外文期刊论文;外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
TOP