TY  - CHAP
UR  - http://dx.doi.org/10.1007/978-3-662-45234-9_7
EP  - 98
N2  - Today?s software systems are becoming increasingly distributed and decentralized and have to adapt autonomously to dynamically changing, open-ended environments. Often their nodes partake in complex interactions with other nodes or with humans. We call these kinds of distributed, complex systems operating in openended and changing environments, ensembles.
T3  - Lecture Notes in Computer Science
TI  - Introduction to ?Rigorous Engineering of Autonomic Ensembles?? Track Introduction
SN  - 978-3-662-45233-2
T2  - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.
PB  - Springer
Y1  - 2014///
A1  - Wirsing, Martin
A1  - De Nicola, Rocco
A1  - Hölzl, Matthias
AV  - none
SP  - 96
ID  - eprints2937
ER  -