scientific article; zbMATH DE number 2086956

zbMATH Open1057.68635MaRDI QIDQ4737564FDOQ4737564

Authors: Graeme Smith 

Publication date: 11 August 2004

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

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

Recommendations

• An introduction to Real-Time Object-Z.
• scientific article; zbMATH DE number 1487727
• scientific article; zbMATH DE number 1487726
• scientific article; zbMATH DE number 1693544
• An overview of the integrated formalism RT-Z

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (11)

• An overview of the integrated formalism RT-Z
• An introduction to Real-Time Object-Z.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Slicing Concurrent Real-Time System Specifications for Verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formal design language for real-time systems with data
• Theoretical Aspects of Computing - ICTAC 2004
• A wide-spectrum language for object-based development of real-time systems
• Type checking \textsf{Circus} specifications

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 Q4737564)