Formal verification of RFID system using model verification agent /
Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
2012
|
| Subjects: |
| _version_ | 1796741107646726144 |
|---|---|
| author | Muhammad Tarmizi Lockman, 1981- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat |
| author_facet | Muhammad Tarmizi Lockman, 1981- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat |
| author_sort | Muhammad Tarmizi Lockman, 1981- |
| collection | OCEAN |
| description | Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012 |
| first_indexed | 2024-03-05T11:40:05Z |
| format | |
| id | KOHA-OAI-TEST:463408 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T11:40:05Z |
| publishDate | 2012 |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4634082020-12-19T17:16:58ZFormal verification of RFID system using model verification agent / Muhammad Tarmizi Lockman, 1981- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat 2012engThesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012Includes bibliographical referencesPRZSLRadio frequency identification systems |
| spellingShingle | Radio frequency identification systems Muhammad Tarmizi Lockman, 1981- Ali Selamat, supervisor Fakulti Sains Komputer dan Sistem Maklumat Formal verification of RFID system using model verification agent / |
| title | Formal verification of RFID system using model verification agent / |
| title_full | Formal verification of RFID system using model verification agent / |
| title_fullStr | Formal verification of RFID system using model verification agent / |
| title_full_unstemmed | Formal verification of RFID system using model verification agent / |
| title_short | Formal verification of RFID system using model verification agent / |
| title_sort | formal verification of rfid system using model verification agent |
| topic | Radio frequency identification systems |
| work_keys_str_mv | AT muhammadtarmizilockman1981 formalverificationofrfidsystemusingmodelverificationagent AT aliselamatsupervisor formalverificationofrfidsystemusingmodelverificationagent AT fakultisainskomputerdansistemmaklumat formalverificationofrfidsystemusingmodelverificationagent |