Verification of Quantitative Temporal Properties of SDL Specifications
- 22 June 2001
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 182-202
- https://doi.org/10.1007/3-540-48213-x_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- IF: An Intermediate Representation for SDL and its ApplicationsPublished by Elsevier BV ,1999
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Modeling Urgency in Timed SystemsLecture Notes in Computer Science, 1998
- Performance Evaluation of SDL Systems Adjunct by Queueing ModelsPublished by Elsevier BV ,1995
- GOAL: Observing SDL behaviors with GEODEPublished by Elsevier BV ,1995
- Model-Checking in Dense Real-TimeInformation and Computation, 1993