Overview of the semantics of TCOZ

MaRDI QIDQ4494239zbMATH OpenFDO

Authors Brendan P. Mahony, Jin-Song Dong

Publication date 10 August 2000

zbMATH Keywords

Object-ZZ language

Mathematics Subject Classification ID

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

Recommendations

• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• An introduction to Real-Time Object-Z.
• scientific article; zbMATH DE number 1949611
• scientific article; zbMATH DE number 2086956
• scientific article; zbMATH DE number 2013589

Cited in

(3)

• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• scientific article; zbMATH DE number 1949611 (Why is no real title available?)
• Parameter synthesis for hierarchical concurrent real-time systems

This page was built for publication: Overview of the semantics of TCOZ

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