Items where Author is "Moinudeen, Haja"

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

Moinudeen, Haja (2006) Design for verification of a PCI-X bus model. Masters thesis, Concordia University.