Towards the compositional verification of real-time UML designs
- 1 September 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 28 (5) , 38-47
- https://doi.org/10.1145/940071.940078
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Verifying cross-cutting features as open systemsPublished by Association for Computing Machinery (ACM) ,2002
- An OCL Extension for Real-Time ConstraintsPublished by Springer Nature ,2002
- A compositional approach to statecharts semanticsPublished by Association for Computing Machinery (ACM) ,2000
- Analyzing real-time systemsPublished by Association for Computing Machinery (ACM) ,2000
- Integrating UML diagrams for production control systemsPublished by Association for Computing Machinery (ACM) ,2000
- Model checking large software specificationsIEEE Transactions on Software Engineering, 1998
- KRONOS: a verification tool for real-time systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Quantitative temporal reasoningReal-Time Systems, 1992