scientific article; zbMATH DE number 781173

MaRDI QIDQ4840949zbMATH OpenFDO

Authors

Publication date 26 September 1995

zbMATH Keywords

real92specification and design languagespecification 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

(10)

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

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)