Old Web
English
Sign In
Acemap
>
authorDetail
>
Sherif Agamy
Sherif Agamy
Mentor Graphics
System on a chip
Assertion
Real-time computing
Formal methods
Network on a chip
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Model Checking Formal Verification Methodology for Virtual Channel NoCs
2016
ELECO | International Conference on Electrical and Electronics Engineering
Sherif Agamy
Ahmed T. Sayed
Rafik Guindi
Show All
Source
Cite
Save
Citations (0)
1