Towards real-time Object-Z

MaRDI QIDQ4494238zbMATH OpenFDO

Authors Graeme Smith, Ian Hayes

Publication date 4 March 2001

zbMATH Keywords

Object-Z

Mathematics Subject Classification ID

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

Recommendations

• An introduction to Real-Time Object-Z.
• scientific article; zbMATH DE number 2086956
• scientific article; zbMATH DE number 2079811
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)

Cited in

(8)

• An introduction to Real-Time Object-Z.
• A wide-spectrum language for object-based development of real-time systems
• scientific article; zbMATH DE number 1212994 (Why is no real title available?)
• Towards a specification of concurrent systems in Z referring to a true concurrency semantics (extended abstract)
• scientific article; zbMATH DE number 1949611 (Why is no real title available?)
• scientific article; zbMATH DE number 2079811 (Why is no real title available?)
• scientific article; zbMATH DE number 2086956 (Why is no real title available?)
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)

This page was built for publication: Towards real-time Object-Z

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494238)