Skip to main content

Computer Safety, Reliability, and Security

32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings

  • Conference proceedings
  • © 2013


  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8153)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.

The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.

Similar content being viewed by others


Table of contents (27 papers)

  1. Invited Paper

  2. Safety Requirements and Assurance

  3. Testing and Verification

  4. Security

  5. Software Reliability Assessment

  6. Practical Experience Reports and Tools I

  7. Safety Assurance in Automotive

  8. Error Control Codes

  9. Invited Paper

Other volumes

  1. Computer Safety, Reliability, and Security

Editors and Affiliations

  • Thales Transportations Systems GmbH, Stuttgart, Germany

    Friedemann Bitsch

  • Laboratory of Analysis and Architecture of Systems (LAAS-CNRS), Dependable Computing anf Fault Tolerance Group, University of Toulouse, Toulouse, France

    Jérémie Guiochet, Mohamed Kaâniche

Bibliographic Information

Publish with us