Software Engineering for Resilient Systems Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

    • 34,99 $
    • 34,99 $

От издателя

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015.
The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2015
27 августа
ЯЗЫК
EN
английский
ОБЪЕМ
154
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
3
МБ
From Software Engineering to Formal Methods and Tools, and Back From Software Engineering to Formal Methods and Tools, and Back
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017