Modeling Urgency in Timed Systems
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 103-129
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Madeus, and authoring environment for interactive multimedia documents1998
- Relating time progress and deadlines in hybrid systems1997
- 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