Mohamed A. Sheirah
According to our database1, Mohamed A. Sheirah authored at least 4 papers between 2003 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Abstract State Machines, 2010
Automatic code generation from verified timed automata model.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009
FPGA based accelerator for functional simulation.
Proceedings of the 2004 International Symposium on Circuits and Systems, 2004
Proceedings of the Forum on specification and Design Languages, 2003