Interactive Verification of UML State Machines (2004)

Cached

Download Links

by Michael Balser , Simon Bäumler , Wolfgang Reif , Andreas Thums
Venue:Formal Engineering Methods (ICFEM’04), LNCS 3308
Citations:8 - 2 self