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

Browse the full DAC paper archive.