CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
智能情境化印刷系统的进程代数建模与仿真验证 学位论文
: 西安理工大学, 2019
作者:  高沙沙
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/20
一种将需求模型转换为软件体系结构模型的方法 期刊论文
计算机科学, 2014, 卷号: 41, 期号: 5
作者:  谢仲文[1,2];  李晓燕[3];  李彤[1,2];  代飞[1,2];  于倩[1,2]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/04
基于扩展进程代数的云制造服务组合建模与QoS评价 (EI收录) 期刊论文
《计算机集成制造系统》, 2014, 卷号: 20, 页码: 689-700
作者:  李永湘[1];  姚锡凡[1,2];  徐川[1];  张洁[1];  李彬[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/04/25
基于形式化的功能代码自动生成 期刊论文
潍坊学院学报, 2012, 期号: 02, 页码: 1-5+12
作者:  徐英娟;  侯金奎
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/23
可信计算平台动态度量技术的安全性形式化分析 学位论文
2012
作者:  徐士伟
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
一种基于进程代数的软件可信性度量模型 期刊论文
武汉理工大学学报（信息与管理工程版）, 2011, 期号: 6
作者:  杨文忠;  黄传河;  张振宇
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
基于Pi演算的网构软件组装与演化框架 期刊论文
微计算机信息, 2011, 卷号: 第27卷 第2期, 页码: 243-245
作者:  傅凌云，胡德发，屈喜龙
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/05
基于规则的动态调度技术研究 学位论文
硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2010
岳磊
收藏  |  浏览/下载：43/0  |  提交时间：2012/07/27
基于过程模型随机仿真的TDD模块选取建模方法研究 期刊论文
计算机应用研究, 2010, 期号: 8, 页码: 2948-2952,2958
苏峰; 翟健; 杨秋松
收藏  |  浏览/下载：11/0  |  提交时间：2011/05/23
基于事件结构的SystemVerilog指称语义 期刊论文
微计算机信息, 2009, 期号: 9, 页码: 171-172+165
作者:  贺彦琨
收藏  |  浏览/下载：1/0  |  提交时间：2016/07/15

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