Qiang Zhu, Tsuneo Nakata, Masataka Mine, Kenichiro Kuroki, Yoichi Endo, Takashi Hasegawa. System-on-Chip Verification Process Using UML. In Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues da Silva, José Ambrosio Toval Álvarez, editors, UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Volume 3297 of Lecture Notes in Computer Science, pages 138-149, Springer, 2004. [doi]
@inproceedings{ZhuNMKEH04,
title = {System-on-Chip Verification Process Using UML},
author = {Qiang Zhu and Tsuneo Nakata and Masataka Mine and Kenichiro Kuroki and Yoichi Endo and Takashi Hasegawa},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3297&spage=138},
tags = {UML},
researchr = {https://researchr.org/publication/ZhuNMKEH04},
cites = {0},
citedby = {0},
pages = {138-149},
booktitle = {UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers},
editor = {Nuno Jardim Nunes and Bran Selic and Alberto Rodrigues da Silva and José Ambrosio Toval Álvarez},
volume = {3297},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-25081-6},
}