scientific article; zbMATH DE number 732939

MaRDI QIDQ4325543zbMATH OpenFDO

Authors Victoria Stavridou

Publication date 12 March 1995

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computer system organization (68M99) Analytic circuit theory (94C05)

Recommendations

• scientific article; zbMATH DE number 1324641
• Model checking: a hardware design perspective
• scientific article; zbMATH DE number 1330907
• scientific article; zbMATH DE number 2130685
• Formal system verification. State-of the-art and future trends

Cited in

(14)

• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Gordon's computer: A hardware verification case study in OBJ3
• Algebraic models of correctness for abstract pipelines.
• Algebraic models of microprocessors architecture and organisation
• Circuit representation for design and diagnosis of electronic systems
• Towards robustness analysis using PVS
• scientific article; zbMATH DE number 2130685 (Why is no real title available?)
• scientific article; zbMATH DE number 3852958 (Why is no real title available?)
• scientific article; zbMATH DE number 50156 (Why is no real title available?)
• scientific article; zbMATH DE number 1324641 (Why is no real title available?)
• scientific article; zbMATH DE number 1330907 (Why is no real title available?)
• scientific article; zbMATH DE number 514046 (Why is no real title available?)
• scientific article; zbMATH DE number 1956214 (Why is no real title available?)
• scientific article; zbMATH DE number 2080912 (Why is no real title available?)

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