Mohammed Y. Hazim

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Formal Verification

Symbolic Execution

Static Analysis

Top Venues

Publications

Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
Testing, Verification and Improvements of Timeliness in ROS Processes. TAROS (2016)
Mohammed Y. Hazim, Hongyang Qu, Sandor M. Veres
Testing, Verification and Improvements of Timeliness in ROS processes. CoRR (2016)