M. Alade Rahman

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Sarmad Sadik, M. Alade Rahman, Arshad Ali, Hafiz Farooq Ahmad, Hiroki Suguri
Modeling high assurance agent-based Earthquake Management System using formal techniques. J. Supercomput. 52 (2) (2010)
M. Alade Rahman, H. O. D. Longe, Falak Nawaz, Hafiz Farooq Ahmad
Supply Chain Model for Personalized Car Web Services Discovery. Asia International Conference on Modelling and Simulation (2009)
Sarmad Sadik, M. Alade Rahman, Arshad Ali, Hafiz Farooq Ahmad, Hiroki Suguri
A Formal Approach for Design of Agent Based Earthquake Management System (EMS). SNPD (2008)