scientific article; zbMATH DE number 897892

zbMATH Open0851.68074MaRDI QIDQ4884884FDOQ4884884

Authors: Helmut Jürgensen, Janusz Brzozowski 

Publication date: 8 July 1996

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (6)

• On testing output faults in the McCluskey fault model
• Fuzzy linear automata testing
• Testing language containment for \(\omega\)-automata using BDDs
• Testing finite state machines: Fault detection
• A survey of testing for instruction sequence theory
• Simulation testing of automata

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)