10 citations · 13 across the 10 of their papers we have counts for
1 paper · 1 filter
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna +1
This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finit…