A model checking agent for mobile short message service application /
Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
2010
|
| Subjects: |
| _version_ | 1796736842494640128 |
|---|---|
| author | Siti Dianah Abdul Bujang, 1984- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat |
| author_facet | Siti Dianah Abdul Bujang, 1984- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat |
| author_sort | Siti Dianah Abdul Bujang, 1984- |
| collection | OCEAN |
| description | Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010 |
| first_indexed | 2024-03-05T10:39:30Z |
| format | |
| id | KOHA-OAI-TEST:443235 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T10:39:30Z |
| publishDate | 2010 |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4432352020-12-19T17:16:02ZA model checking agent for mobile short message service application / Siti Dianah Abdul Bujang, 1984- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat 2010engThesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2010Includes bibliographical referencesPRZSLComputer systemsText messages (Telephone systems) |
| spellingShingle | Computer systems Text messages (Telephone systems) Siti Dianah Abdul Bujang, 1984- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat A model checking agent for mobile short message service application / |
| title | A model checking agent for mobile short message service application / |
| title_full | A model checking agent for mobile short message service application / |
| title_fullStr | A model checking agent for mobile short message service application / |
| title_full_unstemmed | A model checking agent for mobile short message service application / |
| title_short | A model checking agent for mobile short message service application / |
| title_sort | model checking agent for mobile short message service application |
| topic | Computer systems Text messages (Telephone systems) |
| work_keys_str_mv | AT sitidianahabdulbujang1984 amodelcheckingagentformobileshortmessageserviceapplication AT aliselamatsupervisor amodelcheckingagentformobileshortmessageserviceapplication AT fakultisainskomputerdansistemmaklumat amodelcheckingagentformobileshortmessageserviceapplication AT sitidianahabdulbujang1984 modelcheckingagentformobileshortmessageserviceapplication AT aliselamatsupervisor modelcheckingagentformobileshortmessageserviceapplication AT fakultisainskomputerdansistemmaklumat modelcheckingagentformobileshortmessageserviceapplication |