Van Chan Ngo, Axel Legay, Jean Quilbeuf. Statistical Model Checking for SystemC Models. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 197-204, IEEE, 2016. [doi]
Abstract is missing.