Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. In Dimitra Giannakopoulou, Gwen Salaün, editors, Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Volume 8702 of Lecture Notes in Computer Science, pages 175-189, Springer, 2014. [doi]

Abstract

Abstract is missing.