Formal verification of RFID system using model verification agent /

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

Библиографические подробности
Главные авторы: Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat
Формат:
Язык:eng
Опубликовано: 2012
Предметы: