机译:Android-SRV:Android应用程序的基于场景的运行时验证
机译:分析Android和iOS系统的优缺点以及将应用程序从Android转换为iOS平台和Vice Versa
机译:使用彩色Petri网进行正式验证的小额付款建议以及Android平台上的性能分析
机译:Android平台建模和Android应用程序验证在ACL2定理箴言中
机译:使用机器学习方法研究android平台中移动应用程序的安全性问题。
机译:医疗应用程序:Apple iOS和Android平台中的数据库和应用程序特征
机译:使用aCL2定理证明器对LabVIEW程序进行形式验证