University of Limerick Institutional Repository

Browsing LERO - UL authors by Subject "SAT"

DSpace Repository

Browsing LERO - UL authors by Subject "SAT"

Sort by: Order: Results:

  • Botterweck, Goetz; Janota, Mikolas; Schneeweiss, Denny (2009)
    Our feature configuration tool S2T2 Configurator integrates (1) a visual interactive representation of the feature model and (2) a formal reasoning engine that calculates consequences of the user’s actions and provides ...

Search ULIR


Browse

My Account

Statistics