Simulation-based Verification of UML models

Luigi Lavazza, Giuseppe Occorso. Simulation-based Verification of UML models. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 314-321, 2003.

Abstract

Abstract is missing.