Login / Signup
Mohammed Y. Hazim
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 2
Top Topics
Formal Verification
Symbolic Execution
Static Analysis
Model Checking
Top Venues
CoRR
TAROS
</>
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)