scientific article; zbMATH DE number 897892

MaRDI QIDQ4884884zbMATH OpenFDO

Authors Helmut Jürgensen, Janusz Brzozowski

Publication date 8 July 1996

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Formal languages and automata (68Q45) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• Testing finite state machines: Fault detection
• Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences
• scientific article; zbMATH DE number 1855662
• Generation of an exhaustive test for finite-memory automata. II

Cited in

(9)

• Generation of an exhaustive test for finite-memory automata. II
• Generation of an exhaustive test for finite-memory automata. I
• Testing language containment for \(\omega\)-automata using BDDs
• Testing finite state machines: Fault detection
• Simulation testing of automata
• scientific article; zbMATH DE number 1047922 (Why is no real title available?)
• On testing output faults in the McCluskey fault model
• Fuzzy linear automata testing
• A survey of testing for instruction sequence theory

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 Q4884884)