2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Shamim Ripon, Sk. Jahir Hossain, Keya Azad +1
Formal verification of variant requirements has gained much interest in the software product line (SPL) community. Feature diagrams are widely used to model product line variants.…