Sebastian Simon, Jérôme Kirscher, Alexander W. Rath, Zhiqiang Zhang, Linus Maurer. Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application. In Daniel Große, Rolf Drechsler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. pages 91-102, Shaker Verlag, 2017.
@inproceedings{SimonKRZM17,
title = {Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application},
author = {Sebastian Simon and Jérôme Kirscher and Alexander W. Rath and Zhiqiang Zhang and Linus Maurer},
year = {2017},
researchr = {https://researchr.org/publication/SimonKRZM17},
cites = {0},
citedby = {0},
pages = {91-102},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017},
editor = {Daniel Große and Rolf Drechsler},
publisher = {Shaker Verlag},
isbn = {978-3-8440-4996-1},
}