A model checking agent for mobile short message service application

類似資料

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