Mubarak Sami Mohammad

Mubarak Sami Mohammad

Concordia University Montréal - Montreal / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 4885964
Université Concordia
person_outline Mubarak Sami Mohammad's MOST POPULAR ARTICLES
1-) A formal approach for the specification and verification of trustworthy component-based systemsM Mohammad, V AlagarJournal of Systems and Software 84 (1), 77-104, 2011472011
2-) TADL-an architecture description language for trustworthy component-based systemsM Mohammad, V AlagarEuropean Conference on Software Architecture, 290-297, 2008392008
3-) A component model for trustworthy real-time reactive systems developmentV Alagar, M Mohammadسضر ذ× ش ط× س سرشسز زط ثس طغ ض ث³¼, 62, 2007‎262007
4-) A formal component-based software engineering approach for developing trustworthy systemsMS MohammadConcordia University, 2009222009
5-) Publishing and discovering context-dependent servicesN Ibrahim, M Mohammad, V AlagarHuman-Centric Computing and Information Sciences 3, 1-22, 2013192013