%0 Journal Article %1 journals/sigbed/WooMB08 %A Woo, Honguk %A Mok, Aloysius K. %A Browne, James C. %D 2008 %J SIGBED Review %K dblp %N 1 %P 5 %T A hybrid framework for resource verification in executable model-based embedded system development. %U http://dblp.uni-trier.de/db/journals/sigbed/sigbed5.html#WooMB08 %V 5

@article{journals/sigbed/WooMB08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Woo, Honguk and Mok, Aloysius K. and Browne, James C.}, biburl = {https://www.bibsonomy.org/bibtex/2aa95984a0f6506da4038777d1a6657bb/dblp}, ee = {https://doi.org/10.1145/1366283.1366288}, interhash = {bf91b49282174d3e4ca7f0196269df75}, intrahash = {aa95984a0f6506da4038777d1a6657bb}, journal = {SIGBED Review}, keywords = {dblp}, number = 1, pages = 5, timestamp = {2018-11-07T12:20:57.000+0100}, title = {A hybrid framework for resource verification in executable model-based embedded system development.}, url = {http://dblp.uni-trier.de/db/journals/sigbed/sigbed5.html#WooMB08}, volume = 5, year = 2008 }