Collaborated with:
G.Shen Z.Huang Q.Ge W.Zhang
Talks about:
descript (1) featur (1) verif (1) model (1) logic (1) base (1)
Person: Changbao Tian
DBLP: Tian:Changbao
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.