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