Collaborated with:
Z.Huang C.Tian Q.Ge W.Zhang
Talks about:
descript (1) featur (1) verif (1) model (1) logic (1) base (1)
Person: Guohua Shen
DBLP: Shen:Guohua
Contributed to:
Wrote 1 papers:
- SEKE-2012-ShenHTGZ #feature model #logic #modelling #verification
- Feature modeling and Verification based on Description Logics (GS, ZH, CT, QG, WZ), pp. 422–425.