Formal verification of RFID system using model verification agent /

Formal verification of RFID system using model verification agent /

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

Bibliografski detalji
Glavni autori: Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat
Format:
Jezik:eng
Izdano: 2012
Teme:
Radio frequency identification systems
Opis
Sažetak:Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012

Slični predmeti