Noise measurement; Middleboxes; Servers; Data models; Conferences; Software defined networking;
机译:正式指定和检查服务功能链中的政策和异常
机译:使用操作和控制行为对组合Web服务进行符号模型检查
机译:基于下推模型检查的行为不匹配服务的自动适配器生成
机译:SFC-Checker:检查服务功能链接的正确转发行为
机译:模型检查:纠正具有浏览器行为的网页导航。
机译:大鼠强迫行为的表现不是单一现象–强迫检查行为中单独功能组件的验证
机译:正式指定和检查服务功能链中的政策和异常
机译:可靠的软件系统通过对象模型链具有可证明的正确行为