Formal verification of RFID system using model verification agent

Radio Frequency Identification (RFID) technology has brought about revolutionary changes to software system development that supports major applications in advanced business and asset management. Over the years, many RFID applications have been implemented and integrated into the existing system esp...

Full description

Bibliographic Details
Main Author: Lockman, Muhammad Tarmizi (Author)
Format: Thesis
Published: 2012-01.
Subjects:
Online Access:Get fulltext