scientific article; zbMATH DE number 558366

MaRDI QIDQ4289787zbMATH OpenFDO

Authors Andrej Timoshkin

Publication date 16 May 1994

zbMATH Keywords

structural automatatesting

Mathematics Subject Classification ID

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

Recommendations

• Generation of an exhaustive test for finite-memory automata. I
• Generation of an exhaustive test for finite-memory automata. II
• scientific article; zbMATH DE number 3309213
• scientific article; zbMATH DE number 1165603

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4289787)