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...
Main Author: | Lockman, Muhammad Tarmizi (Author) |
---|---|
Format: | Thesis |
Published: |
2012-01.
|
Subjects: | |
Online Access: | Get fulltext |
Similar Items
-
Formal verification techniques using quantum process calculus
by: Davidson, Timothy A. S.
Published: (2012) -
Experimental verification of column at extreme temperature
by: Abdul Ghani, Badri, et al.
Published: (1996) -
New variants of insertion and deletion systems in formal languages
by: Yosman, Ahmad Firdaus
Published: (2017) -
Thermodynamic formalism for symbolic dynamical systems
by: Kempton, Thomas
Published: (2011) -
Nonlinear growth models for modeling oil palm yield growth
by: Khamis, Azme, et al.
Published: (2005)