机构

• 自动化研究所 [2]
• 软件研究所 [2]

采集方式

• OAI收割 [4]

内容类型

• 会议论文 [3]
• 期刊论文 [1]

发表日期

• 2013 [4]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 发表日期：2013     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 Application of Petri Nets in Dynamic process of chemical emergency Management 会议论文  OAI收割 guangdong dongguan, 2013-7 作者:  Jing SF(荆思凤);  Liu XW(刘希未);  Fan D(范东);  Cheng ZJ(程长建);  Shang XQ(商秀芹)   |  收藏  |  浏览/下载：8/0  |  提交时间：2018/01/02 Application of Petri nets in dynamic process modeling of chemical emergency management 会议论文  OAI收割 Dongguan,China, 2013 作者:  Jing,Sifeng;  Liu,Xiwei;  Fan,Dong;  Cheng,Changjian;  Shang,Xiuqin   |  收藏  |  浏览/下载：13/0  |  提交时间：2018/03/06 基于体系结构能耗建模的CPS软件可信性评估方法 期刊论文  OAI收割 电子学报, 2013, 期号: 11, 页码: 2270-2275 张广泉; 张侃; 祝义; 周航   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 信息物理融合系统  软件可信性评估  可信性指标模型  能耗建模  (CPS) cyber physical systems  software trustworthiness evaluation  trustworthiness indicator model  energy con-sumption modeling   A semantics for every GSPN 会议论文  OAI收割 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013, Milan, Italy, June 24, 2013 - June 28, 2013 Eisentraut, Christian (1); Hermanns, Holger (1); Katoen, Joost-Pieter (2); Zhang, Lijun (3)   |  收藏  |  浏览/下载：11/0  |  提交时间：2014/12/16