Formal verification of RFID system using model verification agent /

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

Detalhes bibliográficos
Principais autores:	Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat
Formato:
Idioma:	eng
Publicado em:	2012
Assuntos:	Radio frequency identification systems

Registros relacionados