BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
Collaborated with:
S.Ben-David B.Sterin J.M.Atlee
Talks about:
product (1) symbol (1) requir (1) method (1) model (1) check (1) line (1) base (1) use (1) sat (1)

Person: Sandy Beidu

DBLP DBLP: Beidu:Sandy

Contributed to:

ICSE 20152015

Wrote 1 papers:

ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.