An introduction to Real-Time Object-Z.

DOI10.1007/S001650200003MaRDI QIDQ1601245zbMATH OpenOpenAlexFDO

Authors Graeme Smith, Ian Hayes

Publication date 9 September 2002

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001650200003

zbMATH Keywords

timed refinement calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1487727
• scientific article; zbMATH DE number 2086956
• scientific article; zbMATH DE number 2079811
• An overview of the integrated formalism RT-Z
• scientific article; zbMATH DE number 1487726

Cited in

(12)

• Transformational vs reactive refinement in real-time systems
• An overview of the integrated formalism RT-Z
• A wide-spectrum language for object-based development of real-time systems
• scientific article; zbMATH DE number 1949601 (Why is no real title available?)
• 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 1487726 (Why is no real title available?)
• scientific article; zbMATH DE number 1487727 (Why is no real title available?)
• scientific article; zbMATH DE number 1487728 (Why is no real title available?)
• scientific article; zbMATH DE number 2086956 (Why is no real title available?)
• scientific article; zbMATH DE number 781173 (Why is no real title available?)
• Theoretical Aspects of Computing - ICTAC 2004

This page was built for publication: An introduction to Real-Time Object-Z.

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