Universiti Teknologi Malaysia Institutional Repository

A model checking agent for mobile short message service application

Abdul Bujang , Siti Dianah (2010) A model checking agent for mobile short message service application. Masters thesis, Universiti Teknologi Malaysia, Faculty of Computer Science and Information System.

Full text not available from this repository.


Item Type:Thesis (Masters)
Additional Information:Supervisor : Assoc. Prof. Dr. Ali Selamat; Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia 2010
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System (Formerly known)
ID Code:16542
Deposited By: Ms Zalinda Shuratman
Last Modified:24 Oct 2011 08:42

Repository Staff Only: item control page