Rigorous model-based design & verification flow for in-vehicle software.

S. Ramesh, Ambar A. Gadkari

Browse the full DAC paper archive.