Modeling Urgency in Timed Systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 103-129
- https://doi.org/10.1007/3-540-49213-5_5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Madeus, and authoring environment for interactive multimedia documentsPublished by Association for Computing Machinery (ACM) ,1998
- Relating time progress and deadlines in hybrid systemsPublished by Springer Nature ,1997
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Toward a formal specification of multimedia synchronization scenariosAnnals of Telecommunications, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983