Soroosh Gholami, Hessam S. Sarjoughian. Modeling and verification of network-on-chip using constrained-DEVS. In Fernando Barros, Xiaolin Hu 0002, Joachim Denil, Rhys Goldstein, Fernando Barros, editors, Proceedings of the Symposium on Theory of Modeling & Simulation, Virginia Beach, VA, USA, April 23 - 26, 2017. ACM, 2017. [doi]
Abstract is missing.