Model-based development and verification of control software for electric vehicles

Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, S. Ramesh. Model-based development and verification of control software for electric vehicles. In The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013. pages 96, ACM, 2013. [doi]

Authors

Dip Goswami

This author has not been identified. Look up 'Dip Goswami' in Google

Martin Lukasiewycz

This author has not been identified. Look up 'Martin Lukasiewycz' in Google

Matthias Kauer

This author has not been identified. Look up 'Matthias Kauer' in Google

Sebastian Steinhorst

This author has not been identified. Look up 'Sebastian Steinhorst' in Google

Alejandro Masrur

This author has not been identified. Look up 'Alejandro Masrur' in Google

Samarjit Chakraborty

This author has not been identified. Look up 'Samarjit Chakraborty' in Google

S. Ramesh

This author has not been identified. It may be one of the following persons: Look up 'S. Ramesh' in Google