%0 Journal Article %1 journals/sosym/KimKCLK15 %A Kim, Jinhyun %A Kang, Inhye %A Choi, Jin-Young %A Lee, Insup %A Kang, Sungwon %D 2015 %J Softw. Syst. Model. %K dblp %N 2 %P 839-859 %T Formal synthesis of application and platform behaviors of embedded software systems. %U http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#KimKCLK15 %V 14

@article{journals/sosym/KimKCLK15, added-at = {2024-05-07T00:00:00.000+0200}, author = {Kim, Jinhyun and Kang, Inhye and Choi, Jin-Young and Lee, Insup and Kang, Sungwon}, biburl = {https://www.bibsonomy.org/bibtex/21a3ee967866521733b7294eaca045d21/dblp}, ee = {https://doi.org/10.1007/s10270-013-0342-8}, interhash = {9af30f022bf05125cc3f1dd8e5c9c2e5}, intrahash = {1a3ee967866521733b7294eaca045d21}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 2, pages = {839-859}, timestamp = {2024-05-13T07:09:36.000+0200}, title = {Formal synthesis of application and platform behaviors of embedded software systems.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym14.html#KimKCLK15}, volume = 14, year = 2015 }