Development of safety-critical real-time systems
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 206-235
- https://doi.org/10.1007/3-540-60609-2_11
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- TLTPublished by Springer Nature ,1995
- Extending hoare logic to real-timeFormal Aspects of Computing, 1994
- Requirements specification for process-control systemsIEEE Transactions on Software Engineering, 1994
- Correctness of real time systems by constructionPublished by Springer Nature ,1994
- First-order automation for higher-order-logic theorem provingPublished by Springer Nature ,1994
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- An old-fashioned recipe for real timePublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Executing temporal logic programsPublished by Springer Nature ,1985