scientific article; zbMATH DE number 1751899

MaRDI QIDQ4532986zbMATH OpenFDO

Authors A. D. Zakrevskij

Publication date 6 June 2002

zbMATH Keywords

automata correctnesssequent automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Representational and denotational semantics of digital systems
• Analysis of processes in digital schemes.
• Automatic Verification of Sequential Circuits Using Temporal Logic
• Representations of finite automata
• Designing tests for automata networks from signal sequences. I. Calculus of generalized asynchronous sequences

Cited in

(2)

• scientific article; zbMATH DE number 1564057 (Why is no real title available?)
• Representational and denotational semantics of digital systems

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