«

»

Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics

by Vlad Rusu, Laure Gonnord, Benoit Combemale
Reference:
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics (Vlad Rusu, Laure Gonnord, Benoit Combemale), Technical report, INRIA, 2010.
Bibtex Entry:
@techreport{RUSU2010,
	Author = {Rusu, Vlad and Gonnord, Laure and Combemale, Benoit},
	Institution = {INRIA},
	Month = oct,
	Number = {RR-7423},
	Title = {{Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics}},
	Url = {http://hal.inria.fr/inria-00526561/PDF/RR-7423.pdf},
	Year = {2010},
	Bdsk-Url-1 = {http://hal.inria.fr/inria-00526561/PDF/RR-7423.pdf}}