机译:一种测试冲突预排序的算法
Department of Computer Science, University of Waikato, Hamilton, New Zealand;
Department of Computer Science, University of Waikato, Hamilton, New Zealand;
Finite automata; Process algebra; Model checking; Nonlocking;
机译:使用离散事件系统和冲突预排序的制造系统的层次建模
机译:使用离散事件系统和冲突预排序的制造系统的层次建模
机译:全面抽象的客户测试预订
机译:dMTS的预购测试:死锁和新的死锁/发散测试
机译:了解解决冲突的任务负荷:在空域中实施咨询性冲突检测和解决算法。
机译:埃塞俄比亚艾滋病毒检测算法的评估:抢断算法和检测线反应较弱对艾滋病毒假阳性诊断率高的作用
机译:使用冲突预排序的基于分层接口的监督控制
机译:合唱冲突与分离分辨率算法的损失。