Agent verification design of short text messaging system using formal method
Today, in the evolution of hardware and software system in mobile-driven applications, failure is unacceptable to many entrepreneurs. The use of Short Message Service (SMS) for internet-based business is acknowledged to be one of the applications that have a potential to give unreliable results to t...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Published: |
Elsevier
2009
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/12950/ http://eprints.utm.my/12950/ http://eprints.utm.my/12950/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|