Analysis on the model checking agent for SMS Management System verification using temporal logic
Nowadays, Short Message Service (SMS) is an emerging software mobile technology that support mobile-driven for business and telecommunication industry. The use of SMS has become an essential to most enterprises because the technology is known excellent. However, once SMS has been applied in distribu...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://eprints.utm.my/12462/1/SitiDianahAbdulBujang2008_AnalysisOnTheModelCheckingAgentforSms.pdf |