Multi agent verification of RFID system /

Multi agent verification of RFID system /

PRZSL

Bibliographic Details
Main Authors:	Ali Selamat, author, Muhammad Tarmizi Lockman, 1981-, author, International Conference on Computational Collective Intelligence (1st: 2009: Poland)
Format:
Language:
Published:	Skudai : Universiti Teknologi Malaysia, 2009

Similar Items

Multi - agent verification and validation for RFID system architecture /
by: Muhammad Tarmizi Lockman, 1981-, author, et al.
Published: (2008)

Multi-agent verification of RFID system
by: Selamat, Ali, et al.
Published: (2009)

Formal verification of RFID system using model verification agent /
by: Muhammad Tarmizi Lockman, 1981-, et al.
Published: (2012)

Formal verification of RFID system using model verification agent [electronic resource] /
by: Muhammad Tarmizi Lockman, 1981-
Published: (2012)

Formal verification of RFID system using model verification agent
by: Lockman, Muhammad Tarmizi
Published: (2012)

Verification and validation in communication layer for embedded smart card system /
by: Muhammad Tarmizi Lockman, 1981-, author, et al.
Published: (2008)

Model checking agent using formal method for SMS verification /
by: Siti Dianah Abdul Bujang, 1984-, author, et al.
Published: (2009)

Multi-objective optimization of NARX model for system identification using genetic algorithm /
by: S. Mohammad Reza Loghmanian, author, et al.
Published: (2009)

Embedded smart card system verification and validation process /
by: Muhammad Tarmizi LockmanIsmail, author, et al.
Published: (2008)

Multi readers detection in adaptive RFID middleware /
by: Siti Zaiton Mohd. Hashim, author, et al.
Published: (2008)

Verification of mobile SMS application with model checking agent /
by: Siti Dianah Abdul Bujang, 1984-, author, et al.
Published: (2008)

Agent verification design of short text messaging system using formal method /
by: Ali Selamat, author, et al.
Published: (2009)

Runtime verification of multi-agent systems interaction quality
by: Abu Bakar, Najwa, et al.
Published: (2013)

Analyzing model checking approach for multi agent system verification
by: Selamat, Ali, et al.
Published: (2011)

Dynamic model checking for multi agent e - business control and assurance /
by: Siti Dianah Abdul Bujang, 1984-, author, et al.
Published: (2007)

An approach of model checking agent using spin for the verification of mobile SMS application /
by: Siti Dianah Abdul Bujang, author, et al.
Published: (2008)

Agent quality management framework with runtime verification and quality assessment for agent systems /
by: Najwa Abu Bakar, 1976-, author, et al.
Published: (2017)

Triple band printed dipole tag antenna RFID application /
by: Maisarah Abu, 1977-, author, et al.
Published: (2009)

Agent systems verification : systematic literature review and mapping
by: Abu Bakar, Najwa, et al.
Published: (2018)

Formal method-agent based verification design
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008)

Rational verification: game-theoretic verification of multi-agent systems
by: Abate, A, et al.
Published: (2021)

Location - based system for mobile devices using RFID /
by: Seyed Hossein Siadat, 1983-, author, et al.
Published: (2008)

Agent verification design of short text messaging system using formal method
by: Selamat, Ali, et al.
Published: (2009)

Collaborative augmented reality : multi - user interaction in urban simulation /
by: Ajune Wanis Ismail, 1985-, author, et al.
Published: (2009)

Rational verification in multi-agent systems
by: Najib, M
Published: (2019)

Comparative analysis on adaptive feature for RFID middleware /
by: Siti Zaiton Mohd. Hashimi, author, et al.
Published: (2008)

Weight aspect moment invariant pattern recognition /
by: Rela Puteri Pamungkas, 1981-, author, et al.
Published: (2009)

Robust signature verification based on multiple classifiers /
by: Marzuki Khalid, 1959-2012, author, et al.
Published: (2009)

RFID Application in a Multi-Agent Cyber Physical Manufacturing System
by: Maryam Farsi, et al.
Published: (2020-10-01)

Building Distributed E-Healthcare for Elderly Using RFID and Multi-Agent
by: Chuan-Jun Su, et al.
Published: (2011-02-01)

Improved letter weighting feature selection on Arabic script language identification /
by: Choon, Ching Ng, author, et al.
Published: (2009)

Distributed safety verification for multi-agent systems
by: Wang, H, et al.
Published: (2023)

A meandered triple - band printed dipole antenna for RFID /
by: Maisarah Abu, author, et al.
Published: (2009)

Agent quality management framework with runtime verification and quality assessment for agent systems /
by: Najwa Abu Bakar, 1976-, author
Published: (2017)

Multi-agent verification and control with probabilistic model checking
by: Parker, D
Published: (2023)

Design and Verification of Multi-Agent Systems with the Use of Bigraphs
by: Piotr Cybulski, et al.
Published: (2021-09-01)

Using SPIN for Verification of Multi-agent Data Analysis
by: N. O. Garanina, et al.
Published: (2014-12-01)

Location-based system for mobile devices using RFID
by: Siadat, Seyed Hossein, et al.
Published: (2008)

Analysis on the model checking agent for SMS Management System verification using temporal logic
by: Abdul Bujang, Siti Diana, et al.
Published: (2009)

RFID and Multi-Agent Based Architecture for Information Sharing in Prefabricated Component Supply Chain
by: Juan Du, et al.
Published: (2017-01-01)