scientific article; zbMATH DE number 910718

MaRDI QIDQ4885876zbMATHFDO

Authors Manfred Broy

Publication date 28 July 1996

zbMATH Keywords

functional system specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 139814
• scientific article; zbMATH DE number 1318522
• Evolving Specification Engineering
• Refinement and Consistency of Timed Modal Specifications

Cited in

(1)

• Pragmatic Formal Specification of System Properties by Tables

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