Transformational vs reactive refinement in real-time systems
From MaRDI portal
Publication:1350363
DOI10.1016/0020-0190(95)00095-TzbMath0875.68145MaRDI QIDQ1350363
David Scholefield, Simon Atkinson
Publication date: 27 February 1997
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(95)00095-t
Z; Real-time systems; Refinement; Specification languages; Program specification; Formal development; Temporal agent model
68Q60: Specification and verification (program logics, model checking, etc.)
68M99: Computer system organization
Uses Software
Cites Work