Verification of mobile SMS application with model checking agent /
PRZSL
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | |
| Published: |
Skudai : Universiti Teknologi Malaysia,
2008
|
| _version_ | 1826411100431712256 |
|---|---|
| author | Siti Dianah Abdul Bujang, 1984-, author Ali Selamat, author International Conference on Intelligent Systems Design and Applications (8th: 2008: Taiwan) |
| author_facet | Siti Dianah Abdul Bujang, 1984-, author Ali Selamat, author International Conference on Intelligent Systems Design and Applications (8th: 2008: Taiwan) |
| author_sort | Siti Dianah Abdul Bujang, 1984-, author |
| collection | OCEAN |
| description | PRZSL |
| first_indexed | 2024-03-05T02:09:53Z |
| format | |
| id | KOHA-OAI-TEST:273496 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | |
| last_indexed | 2024-03-05T02:09:53Z |
| publishDate | 2008 |
| publisher | Skudai : Universiti Teknologi Malaysia, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2734962020-12-19T17:08:47ZVerification of mobile SMS application with model checking agent / Siti Dianah Abdul Bujang, 1984-, author Ali Selamat, author International Conference on Intelligent Systems Design and Applications (8th: 2008: Taiwan) Skudai : Universiti Teknologi Malaysia, 2008 PRZSL |
| spellingShingle | Siti Dianah Abdul Bujang, 1984-, author Ali Selamat, author International Conference on Intelligent Systems Design and Applications (8th: 2008: Taiwan) Verification of mobile SMS application with model checking agent / |
| title | Verification of mobile SMS application with model checking agent / |
| title_full | Verification of mobile SMS application with model checking agent / |
| title_fullStr | Verification of mobile SMS application with model checking agent / |
| title_full_unstemmed | Verification of mobile SMS application with model checking agent / |
| title_short | Verification of mobile SMS application with model checking agent / |
| title_sort | verification of mobile sms application with model checking agent |
| work_keys_str_mv | AT sitidianahabdulbujang1984author verificationofmobilesmsapplicationwithmodelcheckingagent AT aliselamatauthor verificationofmobilesmsapplicationwithmodelcheckingagent AT internationalconferenceonintelligentsystemsdesignandapplications8th2008taiwan verificationofmobilesmsapplicationwithmodelcheckingagent |