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]
Abstract is missing.