Software Engineering for Resilient Systems Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

    • $59.99
    • $59.99

Publisher Description

This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.

The 5 full papers and 4 short papers presented together with 1 keynote and 1 invited paper were carefully reviewed and selected from 12 submissions. They cover the following areas: resilience engineering in complex and critical applications; testing and validation methods; security, trust and privacy management.

GENRE
Computing & Internet
RELEASED
2019
10 September
LANGUAGE
EN
English
LENGTH
167
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
7.3
MB

More Books Like This

7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09) 7th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS'09)
2009
Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice
2022
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
2019
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2017
Multiagent System Technologies Multiagent System Technologies
2015
Computer Security Computer Security
2018

More Books by Radu Calinescu & Felicita Di Giandomenico

Software Engineering and Formal Methods Software Engineering and Formal Methods
2021
Software Engineering and Formal Methods Software Engineering and Formal Methods
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
2015
Foundations of Computer Software Foundations of Computer Software
2011