%0 Journal Article %1 journals/ieicet/AhnHKC16 %A Ahn, So Jin %A Hwang, Dae-Yon %A Kang, Miyoung %A Choi, Jin-Young %D 2016 %J IEICE Transactions %K dblp %N 8 %P 2172-2176 %T Hierarchical System Schedulability Analysis Framework Using UPPAAL. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet99d.html#AhnHKC16 %V 99-D

@article{journals/ieicet/AhnHKC16, added-at = {2018-09-27T00:00:00.000+0200}, author = {Ahn, So Jin and Hwang, Dae-Yon and Kang, Miyoung and Choi, Jin-Young}, biburl = {https://www.bibsonomy.org/bibtex/21fd77171edf076955f12866e5741bf3d/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e99-d_8_2172}, interhash = {5e6064b7fa03c7729e18c2a3252fa438}, intrahash = {1fd77171edf076955f12866e5741bf3d}, journal = {IEICE Transactions}, keywords = {dblp}, number = 8, pages = {2172-2176}, timestamp = {2018-09-28T11:40:53.000+0200}, title = {Hierarchical System Schedulability Analysis Framework Using UPPAAL.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet99d.html#AhnHKC16}, volume = {99-D}, year = 2016 }