Teaching MDE through the Formal Verification of Process Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Benoît Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila. Teaching MDE through the Formal Verification of Process Models. ECEASST, 52, 2011. [doi]

This author has not been identified. Look up 'Benoît Combemale' in GoogleThis author has not been identified. Look up 'Xavier Crégut' in GoogleThis author has not been identified. Look up 'Arnaud Dieumegard' in GoogleThis author has not been identified. Look up 'Marc Pantel' in GoogleThis author has not been identified. Look up 'Faiez Zalila' in Google

runs on WebDSL