Items where Author is "Hasan, Mohd.H."

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 3.

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

Haron, N.S. and Ariffin, M.M. and Hasan, Mohd.H. and Abdullah, S.N. (2010) Portable plant Preventive Maintenance management system. In: UNSPECIFIED.

Latif, N.Abd. and Fadzil, Mohd.H. and Hasan, Mohd.H. (2009) Utilizing electronic institution for protocol specification in agent-based e-learning system. In: UNSPECIFIED.

This list was generated on Thu Dec 19 08:54:04 2024 +08.