...
机译:在SDN的网络验证预处理过程中检查规则的交换机内冲突
South China Univ Technol, Sch Elect & Informat Engn, Guangzhou 510641, Guangdong, Peoples R China;
South China Univ Technol, Sch Elect & Informat Engn, Guangzhou 510641, Guangdong, Peoples R China;
Software-defined network; OpenFlow; BDD; conflict;
机译:在SDN中的网络验证预处理期间检查交换机内的规则冲突
机译:通过模型检查验证基于规则的专家系统中的冲突和不可达性
机译:在模型检查中使用模型检查技术为非专业人员验证业务规则
机译:设计完整性和抗扰性检查:布局验证和设计规则检查的新外观
机译:基于SDN的数据中心,互连和运营商网络的流量工程=数据中心,互连和网络基础设施中基于SDN的流量工程
机译:使用模型检查和多项式优化的上下文敏感概率布尔网络的验证和最优控制
机译:验证基于规则的专家中的冲突和不可达性 具有模型检查的系统