An overview of the integrated formalism RT-Z

DOI10.1007/S001650200001MaRDI QIDQ1601243zbMATH OpenOpenAlexFDO

Authors Carsten Sühl

Publication date 4 November 2002

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

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

zbMATH Keywords

formal specification laguages

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1487726
• scientific article; zbMATH DE number 2013589
• scientific article; zbMATH DE number 5044784
• scientific article; zbMATH DE number 2086956
• An introduction to Real-Time Object-Z.

Cited in

(6)

• scientific article; zbMATH DE number 1696757 (Why is no real title available?)
• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• scientific article; zbMATH DE number 1693544 (Why is no real title available?)
• An introduction to Real-Time Object-Z.
• scientific article; zbMATH DE number 1949601 (Why is no real title available?)
• scientific article; zbMATH DE number 2086956 (Why is no real title available?)

Describes a project that uses

Uses Software

• LOTOSphere

This page was built for publication: An overview of the integrated formalism RT-Z

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