Overview

The Safety-Critical Systems Symposium is now established as the major UK conference on safety-critical systems. This volume of proceedings contains a broad range of relevant and up-to-date topics, offering information not only to industry on new technologies, but also to academia on industrial techniques such as risk assessment and safety analysis. The book covers subjects from collaborative projects and strategic views through to new technologies from the fields of neural networking, artificial intelligence, formal methods and robotics. Also covered are the use of languages in safety-critical software development security principles, verification and validation, and coverage of new developments in risk analysis, hazard identification and assessment.

Full Product Details

Author:   Felix Redmill ,  Tom Anderson
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1995
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   0.535kg
ISBN:  

9783540199229

ISBN 10:   3540199225
Pages:   329
Publication Date:   10 February 1995
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions