Towards the Compositional Verification of Real-Time UML Designs (2003)

Cached

Download Links

by Holger Giese , Matthias Tichy , Sven Burmester , Wilhelm Schäfer , Stephan Flake
Citations:15 - 5 self