autonomic system; model checking; on-demand data center; policy verification and validation; policy-based management; resource management;
机译:基于模型检查的移动系统安全策略验证方法
机译:验证OSEK / VDX汽车应用:基于自旋的模型检查方法
机译:验证合作软件:基于SMT的界限模型检查方法,用于确定性调度程序
机译:基于模型检查方法的策略验证与验证框架
机译:基于组件的方法来验证和确认正式软件模型。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:基于模型检查的移动系统安全策略验证方法
机译:使用模型检查验证和验证容错系统要求的过程