technical diagnostics; lenear automata;
机译:线性自动机的信号溢出次数最少的测试综合
机译:一维元胞自动机和线性反馈移位寄存器在伪穷举测试中的应用
机译:线性自动机的检验
机译:准均匀线性细胞自动机和线性反馈移位寄存器作为内置自检应用程序的测试模式生成器的比较
机译:磁光环形细胞自动机的可行性测试。
机译:用于软件测试案例生成的实时扩展接口自动机
机译:定时自动机和半线性混合自动机的可判定性和复杂性结果
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。