sharifi, zeinab, University of Tehran, Iran, Islamic Republic of
-
Volume 66: Automated Verification of Critical Systems 2013 - Articles
Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.