Transformational design of real-time systems. I: From requirements to program specifications

DOI10.1007/S002360050153zbMath0912.68129OpenAlexW1964399638MaRDI QIDQ1282325

Michael Schenke, Ernst-Ruediger Olderog

Publication date: 30 March 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050153

zbMATH Keywords

duration calculusoccam

Mathematics Subject Classification ID

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

Related Items (3)

Computer-aided development of a real-time program ⋮ Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Safe Runtime Verification of Real-Time Properties

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