Software Engineering for Resilient Systems: 5th International Workshop, Serene 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

Empirical Assessment of Resilience.- Security-Informed Safety: If It's Not Secure, It's Not Safe.- Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors.- Towards Agile Development of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing Verification of Structurally Evolving Algebraic Petri Nets.- A Case Study in Refinement-Based Modelling of a Resilient Control System.-...

• Format: Paperback
• Language: English
• ISBN: 3642408931
• ISBN13: 9783642408939
• Release Date: September 2013
• Publisher: Springer
• Length: 199 Pages
• Weight: 0.67 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"