QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 SOFL-based dependency graph generation for scheduling 会议论文 11th Systems of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12, 2016 - June 16, 2016 作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto 收藏  |  浏览/下载：3/0  |  提交时间：2017/01/18 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   The interchange format of tabular expressions using XML 会议论文 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, 2015-11-06 作者:  Huang, Mao[1];  Chen, Yihai[2];  Khedri, Ridha[3];  Miao, Huaikou[4] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/26 A case study: SOFL + Model checking for OSEK/VDX application 会议论文 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, November 6, 2015 - November 6, 2015 作者:  Cheng, Zhuo;  Zhang, Haitao;  Tan, Yasuo;  Lim, Yuto 收藏  |  浏览/下载：6/0  |  提交时间：2017/01/18 Formal specification  Automobiles  Computational linguistics  Computer control  Formal languages  Formal methods  Model checking  Specifications  Automotive applications  Development process  Feasible solution  Formal engineerings  High quality  Requirement specification   SOFL-based Dependency Graph Generation for Scheduling 会议论文 11th IEEE System of Systems Engineering Conference (SoSE), Kongsberg, NORWAY, JUN 12-16, 2016 作者:  Cheng, Z;  Zhang, HT;  Tan, YS;  Lim, YT 收藏  |  浏览/下载：2/0  |  提交时间：2017/05/11 scheduling  task dependency  SOFL  formal specification  cruise control system   Automated program debugging for multiple bugs based on semantic analysis 会议论文 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, Paris, France, 2015-11-06 作者:  Liu, Aishan;  Li, Li;  Luo, Jie 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Theory of test modeling based on regular expressions 会议论文 3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, 2013-10-29 作者:  Liu, Pan[1];  Miao, Huaikou[2] 收藏  |  浏览/下载：5/0  |  提交时间：2019/04/30