Part of the Physical Sciences and Mathematics Commons

Works by Mohammad Roohitavaf in Physical Sciences and Mathematics

2016

A framework for verification of SystemC TLM programs with model slicing: a case study, Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
Michigan Tech Publications

Link