Items where Author is "Moinudeen, Haja"
Group by: Item Type | No Grouping
Number of items: 2.
Article
Gawanmeh, Amjad, Tahar, Sofiène, Moinudeen, Haja and Habibi, Ali (2007) A Design for verification approach using an embedding of PSL in AsmL. Journal of Circuits, Systems and Computers, 16 (06). pp. 859-881. ISSN 0218-1266
Thesis
Moinudeen, Haja (2006) Design for verification of a PCI-X bus model. Masters thesis, Concordia University.