EWU Institutional Repository

Browsing Thesis 2014 by Subject "Logic Based Verification of Software"

Browsing Thesis 2014 by Subject "Logic Based Verification of Software"

Sort by: Order: Results:

  • Bari, Mirza Faisal Md. Abdul; Akter, Morium (East West University, 12/18/2014)
    Feature diagrams are widely used to model product line variant . Formal Verification of variant requirements has gained much interest in the software product line(SPL) community . However, there is a lack of precisely ...

Search DSpace


Browse

My Account