11 search results - page 3 / 3 » QBETS: Queue Bounds Estimation from Time Series |
TACAS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...