First Page | Document Content | |
---|---|---|
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language’s Operational Semantics Vlad Rusu and Laure Gonnord and Benoît Combemale INRIA Lille/LIFL(Univ. Lille)Add to Reading ListSource URL: laure.gonnord.orgDownload Document from Source WebsiteFile Size: 602,40 KBShare Document on Facebook |