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

Thesis (Sarjana) - Universiti Teknologi Malaysia, 2012

Бібліографічні деталі
Автор: Muhammad Tarmizi Lockman, 1981-
Формат:
Мова:eng
Опубліковано: 2012
Предмети: