Compositional verification of a distributed real-time arbitration protocol
- 1 March 1994
- journal article
- Published by Springer Nature in Real-Time Systems
- Vol. 6 (2) , 173-205
- https://doi.org/10.1007/bf01088595
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Explicit clock temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A compositional approach to the design of hybrid systemsPublished by Springer Nature ,1993
- Putting time into proof outlinesPublished by Springer Nature ,1992
- Real-Time: Theory in PracticePublished by Springer Nature ,1992
- A compositional method for the top-down design of real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1992
- A calculus of durationsInformation Processing Letters, 1991
- Specification and Compositional Verification of Real-Time SystemsPublished by Springer Nature ,1991
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- Real-Time Behavior of ProgramsIEEE Transactions on Software Engineering, 1981