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

D. Danelutto, Peter Kilpatrick, C. Montangero, L. Semini

Research output: Contribution to conferencePaper

Original languageEnglish
Pages128-138
Number of pages11
Publication statusPublished - Aug 2011
EventWorkshops of EuroPar 2011: CoreGRID Symposium 2011 - Bordeaux, France
Duration: 01 Aug 201101 Aug 2011

Conference

ConferenceWorkshops of EuroPar 2011: CoreGRID Symposium 2011
CountryFrance
CityBordeaux
Period01/08/201101/08/2011

Bibliographical note

ISSN: 978-3-642-29736-6

Cite this