Simulation-based Verification of UML models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Luigi Lavazza' in GoogleThis author has not been identified. Look up 'Giuseppe Occorso' in Google

runs on WebDSL