«

»

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

by Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux
Reference:
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification (Benoit Combemale, Xavier Crégut, Pierre-Loic Garoche, Xavier Thirioux), In Journal of Software, volume 4, 2009.
Bibtex Entry:
@article{jsw09,
	Author = {Benoit Combemale and Xavier Cr{'e}gut and Pierre-Loic Garoche and Xavier Thirioux},
	Journal = {Journal of Software},
	Month = nov,
	Number = {9},
	Pages = {943--958},
	Title = {{Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification}},
	Url = {http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958},
	Volume = {4},
	Year = {2009},
	Bdsk-Url-1 = {http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958}}