Laboratory for Foundations of Computer Science, The University of Edinburgh;
机译:使用PEPA Eclipse插件进行PEPA模型容量规划的案例研究
机译:PEPA?d牡蛎:将动态能源预算模型转换为Bio-PEPA,如太平洋牡蛎案例研究所示
机译:带有移动组件的建模系统:AltaRica和PEPA网络之间的比较
机译:使用UML2.0和PEPA网络建模移动性
机译:标签交换网络(基于移动标签的网络)的移动性管理体系结构和建模。
机译:使用随机过程代数PEPA的临床路径建模和性能分析
机译:使用PEPA Eclipse插件进行PEPA模型容量规划的案例研究
机译:pEpa不可否认协议模型的有效性分析