Structuring real-time Object-Z specifications

DOI10.1007/3-540-40911-4_7MaRDI QIDQ4471913zbMATH OpenFDO

Authors Graeme Smith, Ian Hayes

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450097.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Towards real-time Object-Z
• An introduction to Real-Time Object-Z.
• An integration of real-time Object-Z and CSP for specifying concurrent real-time systems
• Structural refinement of systems specified in Object-Z and CSP
• Structural refinement in Object-Z / CSP

Cited in

(6)

• An introduction to Real-Time Object-Z.
• Compositional verification for Object-Z
• Towards real-time Object-Z
• scientific article; zbMATH DE number 1569130 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• Structural refinement of systems specified in Object-Z and CSP

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

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