Login / Signup
Keya Azad
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Formal Verification
Classical Logic
Model Checker
Product Lines
Top Venues
CoRR
SPLC (2)
</>
Publications
</>
Shamim Ripon
,
Sk. Jahir Hossain
,
Keya Azad
,
Mehidee Hassan
Logic Verification of Product-Line Variant Requirements.
CoRR
(2014)
Shamim Ripon
,
Keya Azad
,
Sk. Jahir Hossain
,
Mehidee Hassan
Modeling and analysis of product-line variants.
SPLC (2)
(2012)