Title:
Formal verification of RFID system using model verification agent
Personal Author:
Publication Information:
2012
Physical Description:
xvi, 104 p. : ill. ; 30 cm.
General Note:
Also available in CD-ROM : CP 027363 ra
Supervisor : Assoc. Prof. Dr. Ali Selamat
Subject Term:
Added Author:
Added Corporate Author:
DSP_DISSERTATION:
Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | FSK30000001583 | TK6570.I34 M73 2012 raf | Closed Access Thesis | UTM Master Thesis (Closed Access) | Searching... |
Searching... | 30000010271628 | TK6570.I34 M73 2012 raf | Closed Access Thesis | UTM Master Thesis (Closed Access) | Searching... |