Model Checking - Timed UML State Machines and Collaborations (0)

by A Knapp, S Merz, C Rauh
Venue:In Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002