DMCA

Model checking timed UML state machines and collaborations (2002)

by Stephan Merz , Christopher Rauh
Venue:7th Intl. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002
Citations:58 - 2 self