Andere Kunden interessierten sich auch für
![Software Engineering for Resilient Systems]( "Software Engineering for Resilient Systems")
Software Engineering for Resilient Systems37,99 €![Software Technologies: Applications and Foundations]( "Software Technologies: Applications and Foundations")
Software Technologies: Applications and Foundations37,99 €![SDL 2015: Model-Driven Engineering for Smart Cities]( "SDL 2015: Model-Driven Engineering for Smart Cities")
SDL 2015: Model-Driven Engineering for Smart Cities36,99 €![Model and Data Engineering]( "Model and Data Engineering")
Model and Data Engineering37,99 €![Computer Safety, Reliability, and Security]( "Computer Safety, Reliability, and Security")
Computer Safety, Reliability, and Security37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Lectures on Runtime Verification]( "Lectures on Runtime Verification")
Lectures on Runtime Verification48,99 €
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.
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.