Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10431-7_13 ◽

2014 ◽

pp. 175-189 ◽

Author(s):

Reza Hajisheykhi ◽

Ali Ebnenasir ◽

Sandeep S. Kulkarni

Download Full-text