Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems
| Title: | Measuring and Evaluating the Performance of Self-Organization Mechanisms Within Collective Adaptive Systems Leveraging applications of formal methods, verification and validation |
|---|---|
| Authors: | Eberhardinger, Benedikt, Ponsar, Hella, Klumpp, Dominik, Reif, Wolfgang |
| Source: | Lecture notes in computer science. 11246:202-220 |
| Availability: | http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN604438844&indx=1&recIds=ETOCCN604438844 |
| Database: | British Library Document Supply Centre Inside Serials & Conference Proceedings |
| ISSN: | 03029743 |
|---|---|
| Published in: | Lecture notes in computer science |
| Language: | Multiple languages |