Real-time refinement
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 314-331
- https://doi.org/10.1007/bfb0024654
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A case-study in timed refinement: a mine pumpIEEE Transactions on Software Engineering, 1992
- Towards a design calculus for communicating programsPublished by Springer Nature ,1991
- Z and the refinement calculusPublished by Springer Nature ,1990
- Calculating the maximum execution time of real-time programsReal-Time Systems, 1989
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- Real-Time Behavior of ProgramsIEEE Transactions on Software Engineering, 1981