Overview

Full Product Details

Author:   Anatoliy Gorbenko ,  Alexander Romanovsky ,  Vyacheslav Kharchenko
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2013 ed.
Volume:   8166
Dimensions:   Width: 15.50cm , Height: 1.10cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9783642408939

ISBN 10:   3642408931
Pages:   199
Publication Date:   13 September 2013
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.- Synthesis of Resilient Choreographies.- Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.- The SafeCap Project on Railway Safety Verification and Capacity Simulation.- Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems.- Preliminary Contributions Towards Auto-resilience.- A New Approach to Software Reliability.- Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.- Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions