Amazon cover image
Image from Amazon.com

Software engineering for resilient systems : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / István Majzik, Marco Vieira (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 8785. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham : Springer, 2014Description: 1 online resource (x, 185 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319122410
  • 331912241X
Other title:
  • SERENE 2014
Subject(s): Genre/Form: Additional physical formats: Printed edition:: No titleDDC classification:
  • 005.1 23
LOC classification:
  • QA76.758
Online resources:
Contents:
Design of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring.
In: Springer eBooksSummary: This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

International conference proceedings.

Includes author index.

Online resource; title from PDF title page (SpringerLink, viewed October 13, 2014).

Design of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring.

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

Includes bibliographical references and author index.

English.

Powered by Koha