eprintid: 2937
rev_number: 6
eprint_status: archive
userid: 69
dir: disk0/00/00/29/37
datestamp: 2015-11-30 12:56:35
lastmod: 2015-11-30 12:56:35
status_changed: 2015-11-30 12:56:35
type: book_section
metadata_visibility: show
creators_name: Wirsing, Martin
creators_name: De Nicola, Rocco
creators_name: Hölzl, Matthias
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction
ispublished: pub
subjects: QA75
subjects: T1
divisions: CSA
full_text_status: none
abstract: 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.
date: 2014
date_type: published
series: Lecture Notes in Computer Science
number: 8802
publisher: Springer
pagerange: 96-98
pages: 3
id_number: 10.1007/978-3-662-45234-9_7
refereed: TRUE
isbn: 978-3-662-45233-2
book_title: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.
official_url: http://dx.doi.org/10.1007/978-3-662-45234-9_7
citation:   Wirsing, Martin and De Nicola, Rocco and Hölzl, Matthias  Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction.   In:  Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change.   Lecture Notes in Computer Science  (8802).  Springer, pp. 96-98.  ISBN 978-3-662-45233-2      (2014)