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

zbMath0912.68130MaRDI QIDQ1127814

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)

Related Items (1)

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