A Formal Approach to the Verification of Networks on Chip
2009 ◽
Vol 2009
(1)
◽
pp. 548324
◽
2013 ◽
Vol 59
(9)
◽
pp. 709-728
◽
2014 ◽
Vol 36
(5)
◽
pp. 988-1003
◽
2018 ◽
Vol 8
(4)
◽
pp. 39
◽
Keyword(s):
2017 ◽
Vol 10
(4)
◽
pp. 1-27
◽