![](/img/cover-not-exists.png)
Model Checking Formal Verification Methodology for Virtual Channel NoCs
Agamy, Sherif, Sayed, Ahmed, Guindi, RafikVolume:
850
Language:
english
Journal:
Applied Mechanics and Materials
DOI:
10.4028/www.scientific.net/AMM.850.30
Date:
August, 2016
File:
PDF, 533 KB
english, 2016