Separating timing and calculation in real-time refinement

MaRDI QIDQ4250651zbMATH OpenFDO

Authors Ian Hayes

Publication date 17 June 1999

zbMATH Keywords

real-time specificationssequential real-time programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A sequential real-time refinement calculus
• scientific article; zbMATH DE number 2088653
• scientific article; zbMATH DE number 1949613
• Procedures and parameters in the real-time program refinement calculus
• Multiprocessor extensions to real-time calculus
• Refinement of infeasible real-time programs
• scientific article; zbMATH DE number 3862435
• Scheduling real-time computations with separation constraints
• Alternating real-time computations
• scientific article; zbMATH DE number 1852150

Cited in

(6)

• Alternating real-time computations
• A formal model of real-time program compilation
• scientific article; zbMATH DE number 2088653 (Why is no real title available?)
• scientific article; zbMATH DE number 1949613 (Why is no real title available?)
• Computer-aided development of a real-time program
• A sequential real-time refinement calculus

This page was built for publication: Separating timing and calculation in real-time refinement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4250651)