中国开放科研知识云: 检索

数据库形式化安全策略模型建模及分析方法 期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕; 张敏; 冯登国; 李昊

收藏 | 浏览/下载：16/0 | 提交时间：2016/12/09

收藏 | 浏览/下载：18/0 | 提交时间：2016/12/09

SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康

收藏 | 浏览/下载：24/0 | 提交时间：2014/12/16

带时间和资源约束的实例化过程模型验证方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松

收藏 | 浏览/下载：15/0 | 提交时间：2014/12/16

收藏 | 浏览/下载：22/0 | 提交时间：2013/05/31

面向离散事件仿真系统的分布式计算框架建模 学位论文
硕士, 北京: 中国科学院研究生院, 2013
王章虎

收藏 | 浏览/下载：25/0 | 提交时间：2013/05/28

基于问题模式的形式化软件规格说明生成方法 期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 2, 页码: 352-360
王昌晶; 罗海梅; 左正康

收藏 | 浏览/下载：5/0 | 提交时间：2013/09/17

描述CPS物理实体的时空Petri网模型 期刊论文
计算机科学与探索, 2013, 期号: 4, 页码: 377-384
张茗泰; 张广泉; 张侃; 陈名才; 封飞

收藏 | 浏览/下载：8/0 | 提交时间：2013/09/17

基于扩展自动机的服务组合静态与动态验证方法 期刊论文
通信学报, 2012, 期号: S1, 页码: 1-8
张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳

收藏 | 浏览/下载：9/0 | 提交时间：2013/09/17

基于XYZ/ADL的异步Web服务组合描述与验证 期刊论文
计算机科学, 2011, 卷号: 38, 期号: 12, 页码: 139-143
石慧娟; 戎玫; 张广泉; 朱稷涵

收藏 | 浏览/下载：9/0 | 提交时间：2013/10/08

在结果中检索