...
机译:基于BRS的云系统弹性建模和验证方法
机译:云系统中的正式建模和验证弹性策略
机译:SLA驱动的建模和验证云系统:基于巨大的反应系统的方法
机译:正式验证云系统的弹性
机译:基于BRS的上下文感知系统建模方法:以智能汽车系统为例
机译:用于指定,建模和验证动态系统的集成方法。
机译:云材料处理系统:处理活动的概念模型和基于云的计划
机译:基于BRS的云系统弹性建模和验证方法
机译:Cirrus Cloud模型比较:GEWEX云系统研究项目(GCss)Cirrus Cloud systems工作组