A model checking agent for mobile short message service application

समान संसाधन

• SMS applications: Short Messaging & Result Checking System (SMRCS) / Lau Sook Wai
  द्वारा: Lau , Sook Wai
  प्रकाशित: (2003)
• Messaging application / Yew Hooi Phaik
  द्वारा: Yew, Hooi Phaik
  प्रकाशित: (2001)
• Software Model Checking For Distributed Applications Using Hybridization Of Centralization And Cache Approaches
  द्वारा: Hing, Ratana
  प्रकाशित: (2024)
• Messaging Information System / Lit Lei Kheng
  द्वारा: Lit , Lei Kheng
  प्रकाशित: (2002)
• Behaviour analysis and development of the detection algorithm and application prototype to detect the presence of the premium short message service(SMS) abusers malware on the android platform
  द्वारा: Syed Mohd Hazrul Syed Salim
  प्रकाशित: (2013)