TY  - CHAP
ID  - eprints2937
EP  - 98
T2  - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.
A1  - Wirsing, Martin
A1  - De Nicola, Rocco
A1  - Hölzl, Matthias
PB  - Springer
SN  - 978-3-662-45233-2
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.
SP  - 96
T3  - Lecture Notes in Computer Science
TI  - Introduction to ?Rigorous Engineering of Autonomic Ensembles?? Track Introduction
AV  - none
Y1  - 2014///
UR  - http://dx.doi.org/10.1007/978-3-662-45234-9_7
ER  -