Model Checking Formal Verification Methodology for Network on Chip / Sherif Salem Mostafa Agamy
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 621
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Main library | 621/ S.A.M 2014 (Browse shelf(Opens below)) | Not for loan |
Supervisor: Rafik Guindi
Thesis (M.A.)—Nile University, Egypt, 2014 .
"Includes bibliographical references"
Contents:
Abstract:
Text in English, abstracts in English.
There are no comments on this title.