Model Checking Formal Verification Methodology for Network on Chip /
Sherif Salem Mostafa Agamy
Model Checking Formal Verification Methodology for Network on Chip / Sherif Salem Mostafa Agamy - 2014 - p. ill. 21 cm.
Supervisor: Rafik Guindi
Thesis (M.A.)—Nile University, Egypt, 2014 .
"Includes bibliographical references"
Contents:
Abstract:
Text in English, abstracts in English.
MSD
Dissertation, Academic
621
Model Checking Formal Verification Methodology for Network on Chip / Sherif Salem Mostafa Agamy - 2014 - p. ill. 21 cm.
Supervisor: Rafik Guindi
Thesis (M.A.)—Nile University, Egypt, 2014 .
"Includes bibliographical references"
Contents:
Abstract:
Text in English, abstracts in English.
MSD
Dissertation, Academic
621