Transformational vs reactive refinement in real-time systems
From MaRDI portal
Publication:1350363
DOI10.1016/0020-0190(95)00095-TzbMath0875.68145OpenAlexW2066376813MaRDI 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
ZReal-time systemsRefinementSpecification languagesProgram specificationFormal developmentTemporal agent model
Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)
Uses Software
Cites Work
This page was built for publication: Transformational vs reactive refinement in real-time systems