The system verification methodology for advanced TLM verification (2012)

by Marcio F. S. Oliveira , Finn Haedicke , Rolf Drechsler , Christoph Kuznik , Hoang M. Le , Wolfgang Ecker , Wolfgang Mueller , Daniel Große , Volkan Esen
Venue:in CODES+ISSS
Citations:1 - 1 self