The design of model checking agent for SMS management system
Nowadays the short messaging service (SMS) has been used in direct sales and network marketing which is a part of e-business. Many systems integrate information system using mobile phone as a medium of communication in ensuring business processes become more effective and conducive. The intention of...
Saved in:
Main Authors: | Selamat, Ali, Abdul Bujang, Siti Dianah |
---|---|
Format: | Book Section |
Published: |
Springer Verlag
2008
|
Subjects: | |
Online Access: | http://eprints.utm.my/id/eprint/12777/ http://dx.doi.org/10.1007/978-3-540-78582-8_82 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Dynamic model checking for multi-agent e-business control and assurances
by: Selamat, Ali, et al.
Published: (2007) -
A model checking agent for mobile short message service application
by: Abdul Bujang , Siti Dianah
Published: (2010) -
Analysis on the model checking agent for SMS Management System verification using temporal logic
by: Abdul Bujang, Siti Diana, et al.
Published: (2009) -
Model checking agent of SMS management system for direct sales and network marketing
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008) -
Formal method-agent based verification design
by: Abdul Bujang, Siti Dianah, et al.
Published: (2008)