scientific article; zbMATH DE number 910721

zbMATH Open0847.68107MaRDI QIDQ4885879FDOQ4885879

Authors: Michael Paul Fourman 

Publication date: 29 August 1996

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

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

zbMATH Keywords

operational modelsrelational modelLAMBDA design system

Mathematics Subject Classification ID

Circuits, networks (94C99)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoned modelling critics: turning failed proofs into modelling guidance
• CTL-property transformations along an incremental design process
• Title not available (Why is that?)
• Top-down design within a functional environment
• Physigrams: Modelling devices for natural interaction
• Title not available (Why is that?)

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)