Cover Image

Formal method-agent based verification design

Saved in:

Bibliographic Details
Main Authors:	Abdul Bujang, Siti Dianah, Selamat, , Ali, Mohamad, Radziah
Format:	Book Section
Published:	Penerbit UTM 2008
Subjects:	QA75 Electronic computers. Computer science
Online Access:	http://eprints.utm.my/id/eprint/19891/
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The design of model checking agent for SMS management system
by: Selamat, Ali, et al.
Published: (2008)

Formal Verification of the xDAuth Protocol
by: Alam, Q., et al.
Published: (2016)

Dynamic model checking for multi-agent e-business control and assurances
by: Selamat, Ali, et al.
Published: (2007)

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

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

A model checking agent for mobile short message service application
by: Abdul Bujang , Siti Dianah
Published: (2010)

Fuzzy agent-based model for learning behavior in formal education
by: Nur Syafikah, Sukri
Published: (2019)

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

Verification analysis of an agent based model in behaviour change process
by: Ojeniyi, Adegoke, et al.
Published: (2015)

Formal Specifications and Analysis of an Agent-Based Model for Cognitive Aspects of Fear of Crime
by: Ab. Aziz, Azizi, et al.
Published: (2017)

Pattern-oriented design approach for developing multi-agent systems
by: Mohamad, Radziah
Published: (2007)

Missing Value Imputation Designs and Methods of Nature-Inspired Metaheuristic Techniques : A Systematic Review
by: Po Chan, Chiu, et al.
Published: (2022)

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
by: Mohamad, Radziah, et al.
Published: (2011)

QR Tag based Verification Method for Smart IoT Applications
by: Al-Ghaili, Abbas M., et al.
Published: (2018)

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

Feature selection method for offline signature verification
by: Zulkarnain, Zuraidasahana, et al.
Published: (2015)

Formal specification approach in designing database system using Z
by: Julaily Aida, Jusoh, et al.
Published: (2015)

Pattern-oriented design for multi-agent system : a conceptual model
by: Mohamad, Radziah, et al.
Published: (2007)

Pattern-oriented design for multi-agent system: a conceptual model
by: Mohamad, Radziah, et al.
Published: (2007)

Multibiometric systems based verification technique
by: Anwar, Farhat, et al.
Published: (2009)

A Formal Model of Multi-agent System for University Course Timetabling Problems
by: Kuan, Yik Junn, et al.
Published: (2019)

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

Imbalanced Classification Methods for Student Grade Prediction : A Systematic Literature Review
by: Siti Dianah, Abdul Bujang, et al.
Published: (2023)

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

Model-based integration testing technique using formal finite state behavioral models for component-based software
by: Ahmed, Abubakar Elsafi Ali
Published: (2017)

Engineering JADEX agents with the MaSE methodology
by: Mohamad, Radziah, et al.
Published: (2006)

User's verification to prevent malicious access in web-based forums
by: Tabar, Mahdi Taheri, et al.
Published: (2013)

Online handwritten signature verification discriminators based on global feature
by: Omar, Nazaruddin, et al.
Published: (2007)

Dynamic signature verification based on hybrid wavelet-Fourier transform
by: Khoh, W. H., et al.
Published: (2014)

Formal Specification Approach in Designing Database System Using Z
by: Julaily Aida, Jusoh, et al.
Published: (2015)

Object-oriented approach to specify secret sharing protocol in security critical system using formal method
by: Yew, Kok Meng, et al.
Published: (2000)

Towards formalizing OO models: A case study
by: Yew, Kok Meng, et al.
Published: (2000)

Formal Specification Language for Vehicular Ad-Hoc Networks
by: Maythem Kamal , Abbas, et al.
Published: (2009)

Pattern oriented design framework for agent based smart wheelchair using AgentPOD framework
by: Sa'adon, Nor Azizah
Published: (2009)

An efficient content source verification scheme for multi-receiver in NDN-based Internet of Things
by: Hussain, Saddam, et al.
Published: (2022)

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

Ontology-based, process-oriented, and society-independent agent system for cloud computing
by: Fathalipour, Mahmood, et al.
Published: (2014)

Verification of scholars and references in Islamic websites
by: Mahmud, Murni, et al.
Published: (2011)

Online election system with fingerprint verification
by: Voon, Buang Hong.
Published: (2006)