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...
| Main Authors: | , , |
|---|---|
| Format: | Book Section |
| Published: |
Elsevier
2009
|
| Subjects: |