标题:Periodic scheduling for MARTE/CCSL: Theory and practice
作者:Zhang, M[1,2];Dai, F[1,2];Mallet, F[2,3,4]
作者全称:Zhang, Min[1,2];Dai, Feng[1,2];Mallet, Frederic[2,3,4]
通讯作者地址:Mallet, F (reprint author), ECNU, MoE Int Joint Lab Trustworthy Software, Shanghai, Peoples R China.
出版年:2018
卷:154
页码:42-60
关键词:Periodic scheduling; MARTE/CCSL; Maude; Rewriting logic; Model checking
摘要:The UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) is used to design and analyze real-time and embedded systems. The 更多
收录类别:SCIE
资源类型:外文期刊论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:
TOP