The system verification methodology for advanced TLM verification (2012)

by M F S Oliveira, C Kuznik, W Mueller, F Haedicke, H M Le, D Große, R Drechsler, W Ecker, V Esen
Venue:in CODES+ISSS