Nondeterministic finite state machines; Reduction relation; Fault model; Test derivation; Distinguishing test case; Definitely reachable states; Adaptive sequence;
机译:确定性规范的部分观察到的非偏见离散事件系统的相似控制的确定性监督
机译:NDSeq:运行时检查并行性的不确定性顺序规范
机译:FBT:一种将间隔逻辑规范应用于即时模型检查的工具
机译:适应性检查序列的现场施工,用于测试非预定规范的确定性实现
机译:关于一些确定性的低密度奇偶校验码的构造。
机译:实时组装多级自适应测试
机译:快速构建用于检查非确定性规范的确定性实现的自适应检查序列
机译:自适应机制理论。第一部分。非确定性自动机的确定性实现与仿真