Muhammad Usman Sanwal

According to our database, Muhammad Usman Sanwal authored at least 2 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations.

Muhammad Usman Sanwal, Osman Hasan

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

2013

Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements.

Muhammad Usman Sanwal, Osman Hasan

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013