Formal verification of RFID system using model verification agent [electronic resource] /

Thesis (Sarjana) - Universiti Teknologi Malaysia, 2012

Bibliographic Details
Main Author:	Muhammad Tarmizi Lockman, 1981-
Format:
Language:	eng
Published:	2012
Subjects:	Radio frequency identification systems

Similar Items