Verification of UML-Based Real-Time System Designs by Means of cTLA.

Gnter Graw, Peter Herrmann, Heiko Krumm

Browse the full ISORC paper archive.