QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 A Novel Framework of Using Petri Net to Timed Service Business Process Modeling 期刊论文 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2016, 卷号: 26, 页码: 633-652 作者:  Yang, Xiaoxian[1];  Yu, Tao[2];  Xu, Huahu[3] 收藏  |  浏览/下载：8/0  |  提交时间：2019/04/26 Web service  modern service industry  business process modeling  Petri Net  timed specifications  formal verification   Efficient controller synthesis for a fragment of MTL0, &infin 期刊论文 Acta Informatica, 2014, 卷号: 51, 期号: 3-4, 页码: 165-192 Bulychev, Peter (1); David, Alexandre (1); Larsen, Kim G. (1); Li, Guangyuan (2) 收藏  |  浏览/下载：9/0  |  提交时间：2014/12/16 On the semantics of scenario-based specification based on timed computational tree logic 会议论文 作者:  Li, Wenrui;  Zhang, Pengcheng 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/05 Timing Properties  Scenario-based specifications  Timed Property Sequence Chart  Timed Computational Tree Logic   Symbolically bounding the drift in time-constrained msc graphs 会议论文 9th International Colloquium on Theoretical Aspects of Computing, ICTAC 2012, Bangalore, India 作者:  Akshay S.;  Genest Blaise;  Helouet Loic;  Yang shaofa 收藏  |  浏览/下载：9/0  |  提交时间：2015/08/25 Connectors as designs: Modeling, refinement and test case generation 其他 2012-01-01 Meng, Sun; Arbab, Farhad; Aichernig, Bernhard K.; Astefanoaei, Lacramioara; de Boer, Frank S.; Rutten, Jan 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10 Connector  Reo circuits  Timed data sequence  Design  Refinement  Test case generation  COMPONENT CONNECTORS  REWRITING LOGIC  REO   emerald: an automated modeling and verification tool for component-based real-time systems 会议论文 12th International Conference on Quality Software, QSIC 2012, Xi'an, Shaanxi, China, August 27, 2012 - August 29, 2012 Zhang Yizhou; Lin Hao; Li Guoqiang 收藏  |  浏览/下载：11/0  |  提交时间：2013/09/22 Model checking  Models  Real time systems  Verification   Application of high-level design of hardware with timed CSP 期刊论文 jisuanji gongchengcomputer engineering, 2006 Cui, Xiaoxin; Yu, Dunshan; Cui, Xiaole; Sheng, Shimin 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13