Decomposing Real-Time Specifications
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 465-489
- https://doi.org/10.1007/3-540-49213-5_18
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Synthesising controllers from real-time specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Duration calculus: Logical foundationsFormal Aspects of Computing, 1997
- PLC-automata: A new class of implementable real-time automataPublished by Springer Nature ,1997
- The production cell: A verified real-time systemPublished by Springer Nature ,1996
- Provably Correct SystemsPublished by Springer Nature ,1994
- Specification and Proof in Real Time CSPPublished by Cambridge University Press (CUP) ,1993
- Specifying and verifying requirements of real-time systemsIEEE Transactions on Software Engineering, 1993
- A calculus of durationsInformation Processing Letters, 1991
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986