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

Full description

Bibliographic Details
Main Author:	Lockman, Muhammad Tarmizi
Format:	Thesis
Language:	English
Published:	2012
Subjects:	QA Mathematics
Online Access:	http://eprints.utm.my/10042/1/MuhammadTarmiziMFSKSM2012.pdf

Similar Items

Reusable Automated Agent For Universal Verification Methodology System Testbench
by: Rajumanikam, R. Logeish Raj
Published: (2015)

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

Online signature verification using probabilistic modeling and neural network
by: Mohamed Ahsan , Amin
Published: (2010)

Refinement of an online signature verification system
by: Shaglwf, Zaid Ibrahim
Published: (2010)

Voter Verification Using Rubik's Cube
by: Moayed, Majid Javid
Published: (2009)

Stroke-to-stroke matching in on-line signature verification
by: Ahmad Jaini, Azhar
Published: (2010)

Modelling of splicing systems using formal language theory
by: Fong, Wan Heng
Published: (2008)

Evaluation of fusion score for face verification system
by: Arfa, Reza
Published: (2013)

Multiple classifier for on-line signature verification system
by: Esmaiel, Amjad Ali
Published: (2009)

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

Verification the performance of Microsoft SQL Server / Nageswary Gannapathy
by: Nageswary , Gannapathy
Published: (2002)

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

Two-dimensional barcodes for hardcopy document integrity verification
by: Teoh, Chin Yew
Published: (2008)

Online signature verification based on dynamic feature discriminators
by: Omar, Nazaruddin
Published: (2009)

New variants of insertion and deletion systems in formal languages
by: Yosman, Ahmad Firdaus
Published: (2017)

The design and verification of malay text to speech synthesis system
by: Tan, Tian Swee
Published: (2004)

Qibla direction verification of Arau Royal Old Tomb using : UAV technique / Muhizee Sahat
by: Sahat, Muhizee
Published: (2018)

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

Registration verification using image of an object / Sabariah Rawi
by: Rawi, Sabariah
Published: (2007)

Forged signature verification by using video spectral comparator
by: Shapie , Haslinda
Published: (2010)

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

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

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

Human face verification under illumination variation
by: Emadi, Mehran
Published: (2013)

Trustworthiness verification method for social media information
by: Khairuddin Yap, Mohamad Nazri
Published: (2022)

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

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

Brachytherapy dose verification using gafchromic EBT3 film
by: Ismail, Nur Alya Irdina
Published: (2020)

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

Functional Verification Test Time Reduction Through Behavioral Functional Model
by: Lee , Chee Keng
Published: (2014)

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

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

QYPS HPS Interconnect verification methodology for SOC FPGA
by: Loh , Tat Jen
Published: (2013)

Agnostic Validation Test Bench For Efuse Connectivity Verification
by: CHAN , WEI JIAN
Published: (2017)

Principal component analysis dimensionality reduction for writer verification
by: Ramlee, Rimashadira
Published: (2015)

Formal language theory and DNA
by: Mohd. Ali, Nor Muhainiah
Published: (2004)

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

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

A telecobalt60-computed radiography verification model to improve the certainty of the irradiation
by: Hendrik
Published: (2023)

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