Article

Latif, N.A. and Hassan, Mohd.F. and Hasan, Mohd.H. (2011) Formal verification for interaction protocol in agent-based e-learning system using model checking toolkit - MCMAS. Communications in Computer and Information Science, 180 CC (PART 2). pp. 412-426. ISSN 18650929

Conference or Workshop Item

Latif, N.A. and Hassan, M.F. and Hasan, H. (2010) Development of simulation environment for agent interaction protocol. In: UNSPECIFIED.

Latif, N.A. and Hassan, M.F. and Hasan, M.H. (2009) Interaction protocol for agent-based e-learning system. In: UNSPECIFIED.

Latif, N.A. and Hassan, M.F. and Hasan, M.H. (2008) Automated notification and document downloading in e-learning -development of an agent-based framework utilizing the push-pull technology interaction policy. In: UNSPECIFIED.