Suche

Interactive Verification of UML State Machines

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums

In: Jim Davies, Wolfram Schulte, Mike Barnett (Hgg.). Proc. 6th Int. Conf. Formal Engineering Methods (ICFEM'04). Lect. Notes Comp. Sci. 3308, Springer, Berlin, 2004. S. 434-448.


Downloads: