CORC

在结果中检索

CORC

浏览/检索结果: 共8条，第1-8条 帮助

已选(0)清除 条数/页：   排序方式：
基于CPN的安全协议形式化建模及安全分析方法 期刊论文
通信学报, 2021, 卷号: 42, 期号: 09, 页码: 240-253
作者:  龚翔;  冯涛;  杜谨泽
收藏  |  浏览/下载：16/0  |  提交时间：2021/10/20
故障检测的Petri网模型与Petri网故障进程 期刊论文
小型微型计算机系统, 2014, 卷号: 35, 期号: 9, 页码: 2029-2033
作者:  张继军;  李小青;  董卫
收藏  |  浏览/下载：3/0  |  提交时间：2016/07/15
一种将需求模型转换为软件体系结构模型的方法 期刊论文
计算机科学, 2014, 卷号: 41, 期号: 5
作者:  谢仲文[1,2];  李晓燕[3];  李彤[1,2];  代飞[1,2];  于倩[1,2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/04
基于状态空间的无界Petri网分析技术 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
江波
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17
实时可取证操作系统的模型、策略及实现研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2006
丁丽萍
收藏  |  浏览/下载：9/0  |  提交时间：2011/03/17
UML活动图描述工作流模型的执行语义 期刊论文
计算机研究与发展, 2005, 期号: 第2期, 页码: 300~307页
作者:  史忠植;  盛秋戬;  赵志崑
收藏  |  浏览/下载：23/0  |  提交时间：2010/10/14
分布式系统形式化建模技术研究 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
郑红
收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17
Petri网在并行与分布式多媒体系统中的应用 学位论文
工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1999
张辉
收藏  |  浏览/下载：47/0  |  提交时间：2015/09/02

©版权所有 ©2017 CSpace - Powered by CSpace