Verification of UML-based real-time system designs by means of cTLA (2000)

Download From

IEEE
Download from IEEE

Download Links

by Günter Graw , Peter Herrmann , Heiko Krumm
Venue:In Proceedings 3 rd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC 2000), IEEE Computer
Citations:6 - 3 self