An overview of the integrated formalism RT-Z

DOI10.1007/S001650200001zbMATH Open0996.68111OpenAlexW2076891323MaRDI QIDQ1601243FDOQ1601243

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

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.

zbMATH Keywords

formal specification laguages

Mathematics Subject Classification ID

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

Cited In (6)

• An introduction to Real-Time Object-Z.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Deep semantic links of TCSP and Object-Z: TCOZ approach.
• Title not available (Why is that?)
• Title not available (Why is that?)

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)