{"_id":"25761","publication":"CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings","title":"The System Verification Methodology for Advanced TLM Verification","date_updated":"2022-01-06T06:57:12Z","type":"conference","citation":{"bibtex":"@inproceedings{Oliveira_Kuznik_Le_Große_Haedicke_Müller_Drechsler_Ecker_Esen_2012, title={The System Verification Methodology for Advanced TLM Verification}, booktitle={CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings}, author={Oliveira, Marcio F. and Kuznik, Christoph and Le, Hoang M. and Große, Daniel and Haedicke, Finn and Müller, Wolfgang and Drechsler, Rolf and Ecker, Wolfgang and Esen, Volkan}, year={2012} }","ieee":"M. F. Oliveira <i>et al.</i>, “The System Verification Methodology for Advanced TLM Verification,” 2012.","chicago":"Oliveira, Marcio F., Christoph Kuznik, Hoang M. Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, and Volkan Esen. “The System Verification Methodology for Advanced TLM Verification.” In <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","ama":"Oliveira MF, Kuznik C, Le HM, et al. The System Verification Methodology for Advanced TLM Verification. In: <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>. ; 2012.","mla":"Oliveira, Marcio F., et al. “The System Verification Methodology for Advanced TLM Verification.” <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>, 2012.","short":"M.F. Oliveira, C. Kuznik, H.M. Le, D. Große, F. Haedicke, W. Müller, R. Drechsler, W. Ecker, V. Esen, in: CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, 2012.","apa":"Oliveira, M. F., Kuznik, C., Le, H. M., Große, D., Haedicke, F., Müller, W., Drechsler, R., Ecker, W., &#38; Esen, V. (2012). The System Verification Methodology for Advanced TLM Verification. <i>CODES/ISSS ’12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings</i>."},"language":[{"iso":"eng"}],"department":[{"_id":"672"}],"year":"2012","status":"public","user_id":"21240","date_created":"2021-10-07T11:16:29Z","author":[{"full_name":"Oliveira, Marcio F.","last_name":"Oliveira","first_name":"Marcio F."},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"last_name":"Le","full_name":"Le, Hoang M.","first_name":"Hoang M."},{"first_name":"Daniel","last_name":"Große","full_name":"Große, Daniel"},{"last_name":"Haedicke","full_name":"Haedicke, Finn","first_name":"Finn"},{"id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang","last_name":"Müller"},{"full_name":"Drechsler, Rolf","last_name":"Drechsler","first_name":"Rolf"},{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"full_name":"Esen, Volkan","last_name":"Esen","first_name":"Volkan"}]}