scientific article; zbMATH DE number 781173

zbMATH Open0831.68010MaRDI QIDQ4840949FDOQ4840949

Authors:

Publication date: 26 September 1995

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

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

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)

Cited In (8)

• A theory of Orwellian specifications with NewThink
• Combining mascot with modula-2 to aid the engineering of real-time systems
• Title not available (Why is that?)
• REAL92
• A formal design language for real-time systems with data
• Specification and verification of distributed systems by means of the elementary-REAL language
• Title not available (Why is that?)
• Suitability of mCRL2 for concurrent-system design: a \(2 \times 2\) Switch case study

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)