Go to main content

Formal methods for the quantitative evaluation of collective adaptive systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures / Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.).

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (16th : 2016 : Bertinoro, Italy); Bernardo, Marco, editor.; De Nicola, Rocco, editor.; Hillston, J. (Jane), 1963- editor.
2016
QA76.76.D47 I58 2016eb
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Formal methods for the quantitative evaluation of collective adaptive systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures / Marco Bernardo, Rocco De Nicola, Jane Hillston (eds.).
Meeting Name
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (16th : 2016 : Bertinoro, Italy)
ISBN
9783319340968 (electronic book)
3319340964 (electronic book)
9783319340951
DOI
https://doi.org/10.1007/978-3-319-34096-8
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (vii, 261 pages) : illustrations.
Item Number
10.1007/978-3-319-34096-8 doi
Call Number
QA76.76.D47 I58 2016eb
Dewey Decimal Classification
005.1
Summary
This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016. SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed June 17, 2016).
Added Author
Bernardo, Marco, editor.
De Nicola, Rocco, editor.
Hillston, J. (Jane), 1963- editor.
Series
Lecture notes in computer science ; 9700.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems
Dependability of Adaptable and Evolvable Distributed Systems
Mean-Field Limits Beyond Ordinary Differential Equations
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
Spatial Representations and Analysis Techniques
Spatial Logic and Spatial Model Checking for Closure Spaces
Quantitative Abstractions for Collective Adaptive Systems
Aggregate Programming: From Foundations to Applications. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export