scientific article; zbMATH DE number 781173

MaRDI QIDQ4840949zbMATH OpenFDO

Authors

Publication date 26 September 1995

zbMATH Keywords

specification languagereal92specification and design language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 683359
• scientific article; zbMATH DE number 2086956
• Logical specification of reactive and real-time systems
• An introduction to Real-Time Object-Z.
• scientific article; zbMATH DE number 2043468

Cited in

(8)

• REAL92
• A theory of Orwellian specifications with NewThink
• Combining mascot with modula-2 to aid the engineering of real-time systems
• A formal design language for real-time systems with data
• Specification and verification of distributed systems by means of the elementary-REAL language
• Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study
• scientific article; zbMATH DE number 683359 (Why is no real title available?)
• scientific article; zbMATH DE number 2166721 (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 Q4840949)