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