scientific article; zbMATH DE number 53319

zbMATH Open0754.68009MaRDI QIDQ4003544FDOQ4003544

Authors:

Publication date: 18 September 1992

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

Recommendations

• scientific article; zbMATH DE number 1001709
• Real-Time Systems
• Real-Time Systems
• Specification and compositional verification of real-time systems
• Duration calculus. A formal approach to real-time systems.

zbMATH Keywords

time-dependentFormal specificationsMethodsReal-time computing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Design techniques (robust design, computer-aided design, etc.) (93B51) Theory of operating systems (68N25)

Cited In (20)

• Extending the SCR method for real-time systems
• Title not available (Why is that?)
• A hierarchy of domains for real-time distributed computing
• Echtzeitsysteme
• Real-time programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Real-Time Systems
• Real time programming. Languages, specification and verification.
• Title not available (Why is that?)
• Analyzing real-time systems: Theory and tools
• Delivering Real-Time Behaviour
• Evaluating the expressive power of the real-time specification for Java
• Specification and Proof in Real Time CSP
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constraint specification of weakly hard real-time systems
• A specification theory of real-time processes
• Compositional model for formal development of real-time systems design

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