{"_id":"ZsH5TgJzdEfykZKFB","bibbaseid":"xu-zhuang-aformaltransformationapproachforembeddedsoftwaremodeling-2014","author_short":["Xu, H.","Zhuang, Y."],"bibdata":{"bibtype":"article","type":"article","title":"A Formal Transformation Approach for Embedded Software Modeling.","volume":"9","doi":"10/ghv227","number":"4","journal":"JSW","author":[{"propositions":[],"lastnames":["Xu"],"firstnames":["Haiyang"],"suffixes":[]},{"propositions":[],"lastnames":["Zhuang"],"firstnames":["Yi"],"suffixes":[]}],"year":"2014","pages":"807–813","bibtex":"@article{xu_formal_2014-1,\n\ttitle = {A {Formal} {Transformation} {Approach} for {Embedded} {Software} {Modeling}.},\n\tvolume = {9},\n\tdoi = {10/ghv227},\n\tnumber = {4},\n\tjournal = {JSW},\n\tauthor = {Xu, Haiyang and Zhuang, Yi},\n\tyear = {2014},\n\tpages = {807--813},\n}\n\n","author_short":["Xu, H.","Zhuang, Y."],"key":"xu_formal_2014-1","id":"xu_formal_2014-1","bibbaseid":"xu-zhuang-aformaltransformationapproachforembeddedsoftwaremodeling-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","transformation","approach","embedded","software","modeling","xu","zhuang"],"title":"A Formal Transformation Approach for Embedded Software Modeling.","year":2014}