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...
| Auteur principal: | |
|---|---|
| Format: | Thèse |
| Langue: | anglais |
| Publié: |
2012
|
| Sujets: | |
| Accès en ligne: | http://eprints.utm.my/10042/1/MuhammadTarmiziMFSKSM2012.pdf |