Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

24

INFORSID
2010

favoriteEmaildiscussreport

159views Knowledge Management» more INFORSID 2010»

Criteria for the verification of feature models

13 years 6 months ago

Criteria for the verification of feature models

Download gprolog.univ-paris1.fr

Camille Salinesi, Raúl Mazo, Daniel Diaz

Real-time Traffic

INFORSID 2010 | Knowledge Management |

claim paper

Related Content

» Intercontext controlflow and dataflow test adequacy criteria for nesC applications

» Termination Criteria for Bounded Model Checking Extensions and Comparison

» Using probabilistic feature models to determine success criteria for ICT projects

» Learning from labeled features using generalized expectation criteria

» Formal Specification of Common Criteria Based Access Control Policy Model

» Acoustic feature diversity and speaker verification

» Secure systems development based on the common criteria the PalME project

» Test Selection Criteria for QuantifierFree FirstOrder Specifications

» Generalized Expectation Criteria for SemiSupervised Learning of Conditional Random Fields

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2010
Where	INFORSID
Authors	Camille Salinesi, Raúl Mazo, Daniel Diaz

Comments (0)