Mehidee Hassan

Modeling and analysis of product-line variants

Shamim Ripon, Sk. Jahir Hossain, Keya Azad, 2012, SPLC '12.

Formal Modeling of Product-Line Variant Requirements

Shamim Ripon, Keya Azad, Mehidee Hassan, 2013 .

Logic Verification of Product-Line Variant Requirements

Shamim Ripon, Sk. Jahir Hossain, Keya Azad, 2012, 2012 African Conference for Sofware Engineering and Applied Computing.