Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management.

Marco Danelutto, Peter Kilpatrick, Carlo Montangero, Laura Semini

Browse the full EuroPar paper archive.