A binary-counter exhaustive test generator for a class of finite-memory synchronous automata

zbMath1058.68538MaRDI QIDQ1882018

G. P. Aksenova, V. F. Khalchev

Publication date: 18 October 2004

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

synchronous automatafinite \(B\)-memory

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Fault detection; testing in circuits and networks (94C12)

This page was built for publication: A binary-counter exhaustive test generator for a class of finite-memory synchronous automata