Login / Signup
Muhammad Usman Sanwal
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 0
Top Topics
Formal Verification
Cyber Physical
Discrete Data
Model Checker
Top Venues
ICCSA (1)
CyPhy
</>
Publications
</>
Muhammad Usman Sanwal
,
Osman Hasan
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations.
CyPhy
(2015)
Muhammad Usman Sanwal
,
Osman Hasan
Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements.
ICCSA (1)
(2013)