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

相似書籍

Reusable Automated Agent For Universal Verification Methodology System Testbench
由: Rajumanikam, R. Logeish Raj
出版: (2015)

Mutual attestation and integrity verification of RFID system using trusted platform module (TPM) / Mohd Faizal Mubarak
由: Mubarak, Mohd Faizal
出版: (2010)

Online signature verification using probabilistic modeling and neural network
由: Mohamed Ahsan , Amin
出版: (2010)

Refinement of an online signature verification system
由: Shaglwf, Zaid Ibrahim
出版: (2010)

Voter Verification Using Rubik's Cube
由: Moayed, Majid Javid
出版: (2009)

Stroke-to-stroke matching in on-line signature verification
由: Ahmad Jaini, Azhar
出版: (2010)

Modelling of splicing systems using formal language theory
由: Fong, Wan Heng
出版: (2008)

Evaluation of fusion score for face verification system
由: Arfa, Reza
出版: (2013)

Multiple classifier for on-line signature verification system
由: Esmaiel, Amjad Ali
出版: (2009)

A model for validation and verification of disk imaging in computer forensic investigation
由: Palaniappan, P. Siva Shamala
出版: (2009)

Verification the performance of Microsoft SQL Server / Nageswary Gannapathy
由: Nageswary , Gannapathy
出版: (2002)

Fusion features ensembling models using Siamese convolutional neural network for kinship verification
由: Mohammed Ali, Al Muashi
出版: (2021)

Two-dimensional barcodes for hardcopy document integrity verification
由: Teoh, Chin Yew
出版: (2008)

Online signature verification based on dynamic feature discriminators
由: Omar, Nazaruddin
出版: (2009)

New variants of insertion and deletion systems in formal languages
由: Yosman, Ahmad Firdaus
出版: (2017)

The design and verification of malay text to speech synthesis system
由: Tan, Tian Swee
出版: (2004)

Qibla direction verification of Arau Royal Old Tomb using : UAV technique / Muhizee Sahat
由: Sahat, Muhizee
出版: (2018)

Verification of boundary integral equation for conformal mapping of doubly connected regions onto a disk with a slit
由: Lai, Tze Wee
出版: (2010)

Registration verification using image of an object / Sabariah Rawi
由: Rawi, Sabariah
出版: (2007)

Forged signature verification by using video spectral comparator
由: Shapie , Haslinda
出版: (2010)

Bonded sequential and parallel insertion-deletion systems in formal language theory
由: Yosman, Ahmad Firdaus
出版: (2022)

Speaker verification using neural responses from the model of the auditory system / Noor Fadzilah Razali
由: Noor Fadzilah , Razali
出版: (2014)

Account verification to prevent malicious users access in web-based forums
由: Tabar, Mahdi Taheri
出版: (2013)

Human face verification under illumination variation
由: Emadi, Mehran
出版: (2013)

Trustworthiness verification method for social media information
由: Khairuddin Yap, Mohamad Nazri
出版: (2022)

Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
由: Balagatabi, Hossein Nematzadeh
出版: (2008)

Modelling and experimental verification of portable ultrafiltration system for drinking water production / Azman Ariffin
由: Azman , Ariffin
出版: (2025)

Brachytherapy dose verification using gafchromic EBT3 film
由: Ismail, Nur Alya Irdina
出版: (2020)

Modeling and experimental verification of multiphase steel for components subjected to fatigue loading
由: Idris, Roslinda
出版: (2012)

Functional Verification Test Time Reduction Through Behavioral Functional Model
由: Lee , Chee Keng
出版: (2014)

Self-Verification Of Public-Key Agreement Over Voip Using Random Fusion Scheme
由: Alfin Syafalni, Alfin Syafalni
出版: (2016)

Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
由: Balagatabi, Hossein Nematzadeh
出版: (2008)

QYPS HPS Interconnect verification methodology for SOC FPGA
由: Loh , Tat Jen
出版: (2013)

Agnostic Validation Test Bench For Efuse Connectivity Verification
由: CHAN , WEI JIAN
出版: (2017)

Principal component analysis dimensionality reduction for writer verification
由: Ramlee, Rimashadira
出版: (2015)

Formal language theory and DNA
由: Mohd. Ali, Nor Muhainiah
出版: (2004)

The Performance Of User Verification Using Two Fingerprint Based On Error Rate
由: Mohamad Amir, Abu Seman
出版: (2002)

Partial Verification Bias Correction In Diagnostic Accuracy Studies Using Propensity Score-Based Methods
由: Wan Mansor, Wan Nor Arifin
出版: (2023)

A telecobalt60-computed radiography verification model to improve the certainty of the irradiation
由: Hendrik
出版: (2023)

Offline signature verification using ordinal structure fuzzy logic and integrated features based on single signature
由: Abdulfattah, Ghassan Marwan
出版: (2019)