%0 Journal Article %1 journals/jucs/SasakiNAF07 %A Sasaki, Shunsuke %A Nishihara, Tasuku %A Ando, Daisuke %A Fujita, Masahiro %D 2007 %J J. Univers. Comput. Sci. %K dblp %N 13 %P 1972-2001 %T Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph. %U http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#SasakiNAF07 %V 13

@article{journals/jucs/SasakiNAF07, added-at = {2023-09-07T00:00:00.000+0200}, author = {Sasaki, Shunsuke and Nishihara, Tasuku and Ando, Daisuke and Fujita, Masahiro}, biburl = {https://www.bibsonomy.org/bibtex/2c0278d71a5b9b82024bd9ce00e8ca243/dblp}, ee = {https://doi.org/10.3217/jucs-013-13-1972}, interhash = {85634c1375f7687b20f6d74e211618de}, intrahash = {c0278d71a5b9b82024bd9ce00e8ca243}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 13, pages = {1972-2001}, timestamp = {2024-04-08T15:56:43.000+0200}, title = {Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs13.html#SasakiNAF07}, volume = 13, year = 2007 }