scientific article; zbMATH DE number 1487728

zbMATH Open0963.68118MaRDI QIDQ4494239FDOQ4494239

Authors: Brendan P. Mahony, Jin-Song Dong 

Publication date: 10 August 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Object-ZZ language

Mathematics Subject Classification ID

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

Cited In (3)

• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• Title not available (Why is that?)
• Parameter synthesis for hierarchical concurrent real-time systems

This page was built for publication:

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