Software Engineering for Resilient Systems Software Engineering for Resilient Systems

Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

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

وصف الناشر

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. 
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

النوع
كمبيوتر وإنترنت
تاريخ النشر
٢٠١٧
١٨ أغسطس
اللغة
EN
الإنجليزية
عدد الصفحات
٢١٥
الناشر
Springer International Publishing
البائع
Springer Nature B.V.
الحجم
٣٫٤
‫م.ب.‬
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٩
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٦
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٠
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
٢٠١١
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
٢٠١٦
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠٠٩
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
٢٠١٦
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٩
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٩
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٧
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
٢٠١٦