Towards model checking executable UML specifications in mCRL2 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol. Towards model checking executable UML specifications in mCRL2. ISSE, 6(1-2):83-90, 2010. [doi]

This author has not been identified. Look up 'Helle Hvid Hansen' in GoogleThis author has not been identified. Look up 'Jeroen Ketema' in GoogleThis author has not been identified. It may be one of the following persons:

Bas Luttik

Look up 'Bas Luttik' in GoogleThis author has not been identified. Look up 'Mohammad Reza Mousavi' in GoogleThis author has not been identified. Look up 'Jaco van de Pol' in Google

runs on WebDSL