Jinshan Yu, Tun Li, Yang Guo, Qingping Tan. Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. In Edwin Hsing-Mean Sha, Sung-Kook Han, Cheng-Zhong Xu, Moon-hae Kim, Laurence Tianruo Yang, Bin Xiao, editors, Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings. Volume 4096 of Lecture Notes in Computer Science, pages 732-741, Springer, 2006. [doi]
Abstract is missing.