Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen. Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 120-127, IEEE, 2011. [doi]

This author has not been identified. It may be one of the following persons:

Marcel van Amstel

Look up 'M. F. van Amstel' in GoogleThis author has not been identified. It may be one of the following persons:

Mark G. J. van den Brand

Look up 'M. G. J. van den Brand' in GoogleThis author has not been identified. Look up 'Luc J. P. Engelen' in Google

runs on WebDSL