A model checking agent for mobile short message service application

Similar Items

• Software Model Checking For Distributed Applications Using Hybridization Of Centralization And Cache Approaches
  by: Hing, Ratana
  Published: (2024)
• Agilizing interaction flow model language by using kanban for covering web application short lifecycle
  by: Al-Jaberi, Safaa Jawad Alwan
  Published: (2019)
• 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
  by: Syed Mohd Hazrul Syed Salim
  Published: (2013)
• Privacy aware conceptual desgin of flooding message in vehicular Ad-Hoc network
  by: Sayyadi, Hamed
  Published: (2013)
• An improved image steganography scheme based on distinction grade value and secret message encryption
  by: Taha, Mustafa Sabah
  Published: (2020)