Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. JSW, 4(9):943-958, 2009. [doi]

Authors

Benoît Combemale

This author has not been identified. Look up 'Benoît Combemale' in Google

Xavier Crégut

This author has not been identified. Look up 'Xavier Crégut' in Google

Pierre-Loïc Garoche

This author has not been identified. Look up 'Pierre-Loïc Garoche' in Google

Xavier Thirioux

This author has not been identified. Look up 'Xavier Thirioux' in Google