Date: 2012-01-30 19:46:28Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing | | Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National UniversityAdd to Reading ListSource URL: www.immerundewig.atDownload Document from Source Website File Size: 92,96 KBShare Document on Facebook
|