Travelled to:2 × Portugal
Collaborated with:D.Benavides A.R.Cortés S.Segura
Talks about:featur (2) model (2) autom (2) solver (1) reason (1) analys (1) java (1) use (1) csp (1)
Person: Pablo Trinidad Martín-Arroyo
DBLP: Mart=iacute=n-Arroyo:Pablo_Trinidad
Contributed to:
2005
2005Wrote 2 papers:
- CAiSE-2005-BenavidesTC #automation #feature model #modelling #reasoning
- Automated Reasoning on Feature Models (DB, PTMA, ARC), pp. 491–503.
- GTTSE-2005-BenavidesSMC #analysis #automation #csp #feature model #java #modelling #using
- Using Java CSP Solvers in the Automated Analyses of Feature Models (DB, SS, PTMA, ARC), pp. 399–408.