1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…