机译:基于统一的一致性检查策略
Viewpoints; Consistency; Formal description techniques; LOTOS;
机译:图形一致性检查:一种检查段语义一致性的工具
机译:基于定理证明检查对象-Z正式规范的一致性
机译:具有决策的简单时态网络基于混合SAT的一致性检查算法
机译:用于支持支持SMP的AMD64处理器的内存一致性检查的Testbench组件的垂直重用策略
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:临床指南获取和执行中的时间一致性检查:GLARE的方法
机译:基于统一的一致性检查策略