SOFL-based dependency graph generation for scheduling

	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.