Formal verification of RFID system using model verification agent /

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

Bibliographic Details
Main Authors:	Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat
Format:
Language:	eng
Published:	2012
Subjects:	Radio frequency identification systems

Similar Items