A model checking agent for mobile short message service application /

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)
Description
Summary:Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010

Similar Items