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

    • US$39.99
    • US$39.99

출판사 설명

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.

장르
컴퓨터 및 인터넷
출시일
2019년
9월 10일
언어
EN
영어
길이
167
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
7.3
MB
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년
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년