(1)
sharifi, zeinab; Mosaffa, M.; Mohammadi, S.; Sirjani, M. Functional and Performance Analysis of Network-on-Chips Using Actor-Based Modeling and Formal Verification.
ECEASST
2014
,
66
.