Pre-silicon Verification of an Automotive Battery Management System in the Context of the Application - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Sebastian Simon' in GoogleThis author has not been identified. Look up 'Jérôme Kirscher' in GoogleThis author has not been identified. Look up 'Alexander W. Rath' in GoogleThis author has not been identified. Look up 'Zhiqiang Zhang' in GoogleThis author has not been identified. Look up 'Linus Maurer' in Google

runs on WebDSL