Model checking agent using formal method for SMS verification /

Model checking agent using formal method for SMS verification /

PRZSL

Bibliographic Details
Main Authors:	Siti Dianah Abdul Bujang, 1984-, author, Ali Selamat, author, International Conference on Information Theory and Engineering (ICITE 2009) (2009: Sabah)
Format:
Language:
Published:	Skudai : Universiti Teknologi Malaysia, 2009

Similar Items

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

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)

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

Model checking agent of SMS management system for direct sales and network marketing /
by: 389865 Ali Selamat, et al.
Published: (2008)

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

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

Model checking agent of SMS management system for direct sales and network marketing
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008)

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

Formal method-agent based verification design
by: Abdul Bujang, Siti Dianah, 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)

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: Ali Selamat, author, et al.
Published: (2009)

A model checking agent for mobile short message service application /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2010)

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

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

A model checking agent for mobile short message service application [electronic resource] /
by: Siti Dianah Abdul Bujang, 1984-, et al.
Published: (2010)

Formal Verification of STPA with Model Checking
by: Ryeonggu Kwon, et al.
Published: (2023-03-01)

Agent architecture for criminal mobile devices identification systems /
by: Ali Selamat, author, et al.
Published: (2009)

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

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

SMS management system for direct sales and network marketing /
by: Voo, Nyuk Mee, author, et al.
Published: (2007)

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

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

Formal Verification of Blockchain Smart Contracts via ATL Model Checking
by: Wonhong Nam, et al.
Published: (2022-01-01)

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

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
by: Aaditya Prakash Chouhan, et al.
Published: (2020-08-01)

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

Exploring the potential of using augmented reality approach in cultural heritage system /
by: Zakiah Noh, 1985-, author, et al.
Published: (2009)

A new systematic method for optimal heat recovery networks design with minimum area and exergy loss /
by: T. P. Handayani, author, et al.
Published: (2009)

E-voting system VIA web SMS verification for Somaliland /
by: Ahmed, Saeed Yusuf, author, et al.
Published: (2012)

E-voting system VIA web SMS verification for Somaliland /
by: Ahmed, Saeed Yusuf, author, 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 dynamic hybrid systems: a NuSMV-based model checking approach
by: Xu Zhi, et al.
Published: (2018-01-01)

Analysis of crowd behavior theories in panic situation /
by: Hamizan Sharbini, 1984-, author, et al.
Published: (2009)

Wheel-rail contact parameters estimation for conical solid- axle railway wheelset using least-absolute error with variable forgetting factor method /
by: Hazlina Selamat, author, et al.
Published: (2009)

Randomness analysis of pseudorandom bit sequences /
by: Rashidah Kadir, author, et al.
Published: (2009)

A formal verification method: model checking(一种形式化验证方法：模型检验)
by: YANGJun(杨军), et al.
Published: (2006-07-01)

A new scars removal technique of fingerprint images /
by: Ghazali Sulong, author, et al.
Published: (2009)

Improving avatar collision detection performance for virtual environment applications /
by: Norhaida Mohd. Suaib, 1972-, author, et al.
Published: (2009)

Rational verification: from model checking to equilibrium checking
by: Wooldridge, M, et al.
Published: (2016)