| 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 |
