scientific article; zbMATH DE number 139817

MaRDI QIDQ4028153zbMATH OpenFDO

Authors G. Buonanno, Alberto Coen Porisini, William Fornaciari

Publication date 28 March 1993

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)

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

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)