The System Verification Methodology for Advanced TLM Verification

@inproceedings{pub6480,
    author = {

Oliveira, Marcio F. S.
 and 

Kuznik, Christoph
 and 

Mueller, Wolfgang
 and 

Haedicke, Finn
 and 

Le, Hoang M.
 and 

Große, Daniel
 and 

Drechsler, Rolf
 and 

Ecker, Wolfgang
 and 

Esen, Volkan
},
    title = {The System Verification Methodology for Advanced TLM Verification},
    booktitle = {International Conference on Hardware/Software Codesign and System Synthesis. International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS-2012), October 7-12, Tampere, Finland},
    year = {2012},
    publisher = {ACM}
}