|
已选(0)清除
条数/页： 排序方式：
|
| 信息物理系统软件的形式建模、验证与分析 学位论文
: 大连理工大学, 2018
作者: 侯刚
  收藏 | 浏览/下载：2/0 | 提交时间：2019/12/02
|
| 一种基于时间扩展petri网的嵌入式软件可靠性评估方法 专利
申请日期: 2017-01-01, 公开日期: 2017-07-07
作者: 殷永峰; 张弛; 刘利军
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30 |
| 基于随机时间Petri网的安全性分析方法 期刊论文
计算机科学, 2016, 卷号: 43, 页码: 61-65,76
作者: 彭颖; 姚淑珍; 谭火彬
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 一种基于随机时间Petri网的系统安全性分析方法 专利
申请日期: 2016-01-01, 公开日期: 2016-07-13
作者: 姚淑珍; 谭火彬; 彭颖; 朱丹江
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30 |
| 时间Petri网在即时检验流程建模中的应用研究 期刊论文
计算机应用, 2015
作者: 王磊; 王弼陡; 田浩然; 罗刚银; 聂兰顺
收藏 | 浏览/下载：11/0 | 提交时间：2016/08/26 |
| 一种基于执行力模型的服务平台自主控制方法 期刊论文
2015, 2015
顾军; 罗军舟; 曹玖新; 李伟
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于时间Petri网的实时嵌入式软件系统安全性分析 期刊论文
http://epub.cnki.net/grid2008/brief/detailj.aspx?filename=XDJS200106005&dbname=CJFQ2001, 2015, 2015
代彬; 陆刚; 韩可琦
收藏 | 浏览/下载：2/0 | 提交时间：2017/06/15
|
| 基于扩展时间Petri网的嵌入式中断建模与验证 学位论文
: 大连理工大学, 2015
作者: 常军旺
收藏 | 浏览/下载：3/0 | 提交时间：2019/12/09
|
| 基于遗传算法的多项目资源配置问题研究 学位论文
: 西安理工大学, 2015
作者: 苏小建
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/20
|
| 基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估 期刊论文
兵工学报, 2015, 卷号: 36, 页码: 363-373
作者: 许玉堂; 殷永峰; 孙静; 张弛; 刘斌
收藏 | 浏览/下载：3/0 | 提交时间：2020/01/06
|
