Compositional modeling and analysis of automotive feature product lines

Shankara Narayanan Krishna, Ganesh Khandu Narwane, S. Ramesh, Ashutosh Trivedi. Compositional modeling and analysis of automotive feature product lines. In Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015. pages 57, ACM, 2015. [doi]

Abstract

Abstract is missing.