A model checking agent for mobile short message service application /

Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010

Bibliographic Details
Main Authors:	Siti Dianah Abdul Bujang, 1984-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat
Format:
Language:	eng
Published:	2010
Subjects:	Computer systems Text messages (Telephone systems)

Similar Items