scientific article; zbMATH DE number 910718

zbMATH Open0847.68062MaRDI QIDQ4885876FDOQ4885876

Authors: Manfred Broy 

Publication date: 28 July 1996

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

Recommendations

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

zbMATH Keywords

functional system specifications

Mathematics Subject Classification ID

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

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)