Compositional modeling and analysis of automotive feature product lines.

Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi

Browse the full DAC paper archive.