@inproceedingsKuznik_Müller_Defo_2014, place=San Francisco, USA, title=An Assisted Single Source Verification Metric Model Code Generation Methodology, author=Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand, year=2014 
LibreCat: /record/36917

@inproceedingsKoppelmann_Messidat_Becker_Müller_Scheytt_2014, place=München, title=Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU, booktitle=Proceedings of the Design and Verification Conference Europe (DVCON Europe), author=Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Müller, Wolfgang and Scheytt, J. Christoph, year=2014 
LibreCat: /record/34585