Transformational design of real-time systems. I: From requirements to program specifications
From MaRDI portal
Publication:1282325
DOI10.1007/s002360050153zbMath0912.68129MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Computer-aided development of a real-time program, Ernst-Rüdiger Olderog: A Life for Meaning, Safe Runtime Verification of Real-Time Properties