Eliminating Queues from RT UML Model Representations

BIB
Damm, W. and Jonsson, B.
7th Int'l Symposium on Formal Techniques in Real-Time and Fault-Tolerance Systems, FTRTFT 2002
09 / 2002
inproceedings
Springer
LNCS
375-393
Springer