HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 随机进程代数论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
进程代数在性能评价中的应用研究第35-39页
关键词: 随机进程代数  性能评价  性能评价进程代数  马尔可夫进程  连续时间马尔可夫链  
2006年第04期 《河北工业大学学报》
可生存性网络的形式化建模与分析方法第48-52页
关键词: 形式化方法  随机进程代数  可生存性网络  性能分析  
2006年第Z1期 《通信学报》
基于随机进程代数的P2P网络蠕虫对抗传播特性分析第293-299页
关键词: 对等网络  良性蠕虫  传播模型  随机进程代数  
2012年第02期 《电子学报》
随机进程代数新技术综述第50-60页
关键词: 综述  随机进程代数  pepa  状态空间爆炸  
2011年第08期 《软件》
基于过程模型随机仿真的TDD模块选取建模方法研究第2948-2952页
关键词: 软件过程  随机进程代数  测试驱动开发  仿真  决策支持  
2010年第08期 《计算机应用研究》
可信链的随机进程代数模型第4650-4653页
关键词: 可信链  可信计算  随机进程代数  软件行为  形式化方法  
2010年第12期 《计算机应用研究》
基于随机进程代数的Overlay网络上的QoS性能评价第129-133页
关键词: 随机进程代数  overlay  服务质量  
2009年第B04期 《北京邮电大学学报》
任务关键系统可生存性的形式化建模方法第89-94页
关键词: 可生存性  随机进程代数  性能评估进程代数  形式化建模  
2011年第09期 《山东大学学报·理学版》
基于PEPA的信息系统可生存性形式化模型第166-166页
关键词: 可生存性  随机进程代数  形式化建模  
2010年第27期 《价值工程》
期刊导航