Transformational design of real-time systems. II: From program specifications to programs

MaRDI QIDQ1127814zbMATH OpenFDO

Authors Michael Schenke

Publication date 10 September 1998

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

occamcomputer controlled gas burnerdesign of real-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• Transformational design of real-time systems. I: From requirements to program specifications
• A sequential real-time refinement calculus
• scientific article; zbMATH DE number 1852150

Cited in

(3)

• scientific article; zbMATH DE number 54320 (Why is no real title available?)
• Transformational design of real-time systems. I: From requirements to program specifications
• Computer-aided development of a real-time program

This page was built for publication: Transformational design of real-time systems. II: From program specifications to programs

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