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

    • ‏39٫99 US$
    • ‏39٫99 US$

وصف الناشر

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.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٩
١٠ سبتمبر
اللغة
EN
الإنجليزية
عدد الصفحات
١٦٧
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٧٫٣
‫م.ب.‬
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)
٢٠٠٩
Leveraging Applications of Formal Methods, Verification and Validation. Practice Leveraging Applications of Formal Methods, Verification and Validation. Practice
٢٠٢٢
New Trends in Model and Data Engineering New Trends in Model and Data Engineering
٢٠١٩
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٧
Multiagent System Technologies Multiagent System Technologies
٢٠١٥
Computer Security Computer Security
٢٠١٨
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠٢١
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٦
Software Engineering and Formal Methods Software Engineering and Formal Methods
٢٠١٥
Foundations of Computer Software Foundations of Computer Software
٢٠١١