scientific article; zbMATH DE number 3990911

MaRDI QIDQ3753523zbMATH OpenFDO

Authors P. A. Subrahmanyam

Publication date 1986

zbMATH Keywords

design of provably correct integrated software-hardware systemshigher levels of system designsyntax and semantics of computational networkstransformation methodology

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 58311
• scientific article; zbMATH DE number 3871202
• A logic-topological calculus for the construction of integrated circuits. I
• scientific article; zbMATH DE number 3898775
• scientific article; zbMATH DE number 3858396

Cited in

(3)

• A logic-topological calculus for the construction of integrated circuits. I
• VLSI design with object-oriented knowledge bases
• scientific article; zbMATH DE number 58311 (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 Q3753523)