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...

全面介紹

書目詳細資料

主要作者:	Lockman, Muhammad Tarmizi
格式:	Thesis
語言:	英语
出版:	2012
主題:	QA Mathematics
在線閱讀:	http://eprints.utm.my/10042/1/MuhammadTarmiziMFSKSM2012.pdf