The production cell: A verified real-time system
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 208-227
- https://doi.org/10.1007/3-540-61648-9_42
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Integrating real-time scheduling theory and program refinementPublished by Springer Nature ,1996
- Formal Development of Reactive SystemsPublished by Springer Nature ,1995
- Provably Correct SystemsPublished by Springer Nature ,1994
- A Timed Specification Language for Concurrent Reactive SystemsPublished by Springer Nature ,1994
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- Duration Calculi: An overviewPublished by Springer Nature ,1993
- Coping with implementation dependencies in real-time system verificationPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985