scientific article; zbMATH DE number 2086956

MaRDI QIDQ4737564zbMATH OpenFDO

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

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)

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

Cited in

(11)

• Type checking \textsf{Circus} specifications
• Slicing Concurrent Real-Time System Specifications for Verification
• scientific article; zbMATH DE number 2079811 (Why is no real title available?)
• scientific article; zbMATH DE number 1693544 (Why is no real title available?)
• An overview of the integrated formalism RT-Z
• An introduction to Real-Time Object-Z.
• A wide-spectrum language for object-based development of real-time systems
• scientific article; zbMATH DE number 781173 (Why is no real title available?)
• A formal design language for real-time systems with data
• Theoretical Aspects of Computing - ICTAC 2004
• scientific article; zbMATH DE number 5044784 (Why is no real title available?)

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)