Title:
Formal verification of RFID system using model verification agent
Personal Author:
Publication Information:
2012
Physical Description:
1 CD-ROM ; 12 cm.
General Note:
Also available in printed version : TK6570.I34 M73 2012 raf
Supervisor : Assoc. Prof. Dr. Ali Selamat
Subject Term:
DSP_DISSERTATION:
Thesis (Sarjana) - Universiti Teknologi Malaysia, 2012
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010271629 | CP 027363 ra | UTM Special Collection - Computer File | Compact Disc Accompanies UTM Thesis/Project Paper | Searching... |