...
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法
Faculty of Medicine University Constantine 3 Salah Boubnider Constantine Algeria MISC Laboratory Department of Computer Science and its Applications University Constantine 2 Abdelhamid Mehri Constantine Algeria;
MISC Laboratory Department of Computer Science and its Applications University Constantine 2 Abdelhamid Mehri Constantine Algeria;
School of Computer Science University of Castilla-La Mancha Campus Universitario s Albacete 02071 Spain;
MISC Laboratory Department of Computer Science and its Applications University Constantine 2 Abdelhamid Mehri Constantine Algeria;
Cloud computing; SLA; Bigraph; Bigraphical reactive systems; NuSMV; Formal verification;
机译:基于双向反应式系统的上下文感知系统建模方法
机译:用于指定基于云的弹性系统及其行为的双向模型
机译:基于BRS的云系统弹性建模和验证方法
机译:使用基于巨大的基于Maude的模型检查器来验证云系统
机译:基于传记机的移动反应系统-编程模型及其实现。
机译:UAV培养行为建模使用跟踪大型反应系统
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法