SOFL-based dependency graph generation for scheduling | |
Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto | |
2016-08-12 | |
会议名称 | 11th Systems of Systems Engineering Conference, SoSE 2016 |
会议日期 | June 12, 2016 - June 16, 2016 |
会议地点 | Kongsberg, Norway |
关键词 | Formal specification Computer control Control systems Cruise control Formal methods Scheduling Specifications Systems engineering Dependency graphs Feasible solution Formal engineerings Multi task system Requirement specification SOFL Task dependencies |
会议录 | 2016 11th Systems of Systems Engineering Conference, SoSE 2016 |
学科主题 | Computer Applications;Control Systems;Management; Systems Science |
语种 | 英语 |
内容类型 | 会议论文 |
源URL | [http://ir.lzu.edu.cn/handle/262010/184029] |
专题 | 信息科学与工程学院_会议论文 |
推荐引用方式 GB/T 7714 | Cheng, Zhuo,Zhang, Haitao,Tan, Yasuo,et al. SOFL-based dependency graph generation for scheduling[C]. 见:11th Systems of Systems Engineering Conference, SoSE 2016. Kongsberg, Norway. June 12, 2016 - June 16, 2016. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论