Search Results for Muhammad Tarmizi Lockman, 1981-,SirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dMuhammad$002bTarmizi$002bLockman$00252C$002b1981-$00252C$0026ic$003dtrue$0026ps$003d300?dt=list2024-06-23T04:42:54ZFormal verification of RFID system using model verification agentent://SD_ILS/0/SD_ILS:7784182024-06-23T04:42:54Z2024-06-23T04:42:54Zby Muhammad Tarmizi Lockman, 1981-<br/>Author Muhammad Tarmizi Lockman, 1981-, Ali Selamat, supervisor, Fakulti Sains Komputer dan Sistem Maklumat<br/>Format: Books<br/>Call Number TK6570.I34 M73 2012 raf<br/>Publication Date 2013 2012<br/>Thesis (Sarjana Sains (Sains Komputer)) - Universiti Teknologi Malaysia, 2012<br/>Formal verification of RFID system using model verification agentent://SD_ILS/0/SD_ILS:7784202024-06-23T04:42:54Z2024-06-23T04:42:54Zby Muhammad Tarmizi Lockman, 1981-<br/>Author Muhammad Tarmizi Lockman, 1981-<br/>Format: Books<br/>Call Number CP 027363 ra<br/>Publication Date 2012<br/>Thesis (Sarjana) - Universiti Teknologi Malaysia, 2012<br/>Verification and validation in communication layer for embedded smart card systement://SD_ILS/0/SD_ILS:3607342024-06-23T04:42:54Z2024-06-23T04:42:54Zby Muhammad Tarmizi Lockman, 1981-, author<br/>Author Muhammad Tarmizi Lockman, 1981-, author, Ali Selamat, author, International Conference on Electric Design (2008 : Pulau Pinang)<br/>Format: Books<br/>Call Number MAK<br/>Publisher Universiti Teknologi Malaysia,<br/>Publication Date 2008<br/>Multi - agent verification and validation for RFID system architectureent://SD_ILS/0/SD_ILS:3602382024-06-23T04:42:54Z2024-06-23T04:42:54Zby Muhammad Tarmizi Lockman, 1981-, author<br/>Author Muhammad Tarmizi Lockman, 1981-, author, Ali Selamat, author, International Conference on Electronic Desiign (2008 : Indonesia)i<br/>Format: Books<br/>Call Number x<br/>Publisher Universiti Teknologi Malaysia,<br/>Publication Date 2008<br/>Multi agent verification of RFID systement://SD_ILS/0/SD_ILS:3350802024-06-23T04:42:54Z2024-06-23T04:42:54Zby Ali Selamat, author<br/>Author Ali Selamat, author, Muhammad Tarmizi Lockman, 1981-, author, International Conference on Computational Collective Intelligence (1st: 2009: Poland)<br/>Format: Books<br/>Publisher Universiti Teknologi Malaysia,<br/>Publication Date 2009<br/>KEPIMPINAN PENDIDIKAN TINGGI DI MALAYSIA : Perspektif Pentadbir Universitient://SD_ILS/0/SD_ILS:8784942024-06-23T04:42:54Z2024-06-23T04:42:54Zby Razali Othman, editor<br/>Author Razali Othman, editor, Khasiah Zakaria, editor, Azlin Abd. Jamil, editor, Hafizah Marzuki, editor, Siti Nurbaya Ismail, contributor<br/>Format: Books<br/>Call Number LA1238 K47 2018 a<br/>Publication Date 2018<br/>ISBN 9789674405229<br/>