Login / Signup
Sultan Abdulaziz
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Coal Mining
Security Patterns
Formal Models
Road Safety
Top Venues
Hum. centric Comput. Inf. Sci.
</>
Publications
</>
Wilayat Khan
,
Habib Ullah
,
Aakash Ahmad
,
Khalid Sultan
,
Abdullah J. Alzahrani
,
Sultan Daud Khan
,
Mohammad Alhumaid
,
Sultan Abdulaziz
CrashSafe: a formal model for proving crash-safety of Android applications.
Hum. centric Comput. Inf. Sci.
8 (2018)