scientific article; zbMATH DE number 910721

MaRDI QIDQ4885879zbMATHFDO

Authors Michael Paul Fourman

Publication date 29 August 1996

zbMATH Keywords

operational modelsrelational modelLAMBDA design system

Mathematics Subject Classification ID

Circuits, networks (94C99)

Recommendations

• scientific article; zbMATH DE number 139977
• A theory for the derivation of combination C-mos circuit designs
• The use of \(B\) to specify, design and verify hardware
• Semiotic approach to integration of formal design tools

Cited in

(8)

• scientific article; zbMATH DE number 1857499 (Why is no real title available?)
• scientific article; zbMATH DE number 1863373 (Why is no real title available?)
• Reasoned modelling critics: turning failed proofs into modelling guidance
• scientific article; zbMATH DE number 1964934 (Why is no real title available?)
• Physigrams: Modelling devices for natural interaction
• Top-down design within a functional environment
• scientific article; zbMATH DE number 139977 (Why is no real title available?)
• CTL-property transformations along an incremental design process

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