scientific article; zbMATH DE number 139817

zbMATH Open0794.68019MaRDI QIDQ4028153FDOQ4028153

Authors: G. Buonanno, Alberto Coen Porisini, William Fornaciari 

Publication date: 28 March 1993

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

Recommendations

• Semantics and Verification of a Language for Modelling Hardware Architectures
• An approach to the specification and verification of a hardware compilation scheme
• scientific article; zbMATH DE number 139816
• The use of \(B\) to specify, design and verify hardware
• scientific article; zbMATH DE number 1852161

zbMATH Keywords

real-time systemshardware description language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• ASTRAL

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