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

Autoria(s): Danelutto, D.; Kilpatrick, Peter; Montangero, C.; Semini, L.
Data(s)

01/08/2011
Identificador

http://pure.qub.ac.uk/portal/en/publications/model-checking-support-for-conflict-resolution-in-multiple-nonfunctional-concern-management(95b819a2-776f-4991-97e7-65a4b5e880d3).html
Idioma(s)

eng
Direitos

info:eu-repo/semantics/restrictedAccess
Fonte

Danelutto , D , Kilpatrick , P , Montangero , C & Semini , L 2011 , ' Model Checking Support for Conflict Resolution in Multiple Non-functional Concern Management ' Paper presented at Workshops of EuroPar 2011: CoreGRID Symposium 2011 , Bordeaux , France , 01/08/2011 - 01/08/2011 , pp. 128-138 .
Tipo

conferenceObject
Acesso ao item digital