Programming and Software Engineering

Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

Editors: Winther, Rune, Gran, Bjoern Axel, Dahll, Gustav (Eds.)

Free Preview

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-3-540-32000-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-29200-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005.

The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.

Table of contents (30 chapters)

Table of contents (30 chapters)
  • CMMI RAMS Extension Based on CENELEC Railway Standard

    Pages 1-12

    Fonseca, Jose Antonio (et al.)

  • The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems

    Pages 13-23

    Martinez, Robert (et al.)

  • Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

    Pages 24-36

    Addouche, Nawal (et al.)

  • Defining and Decomposing Safety Policy for Systems of Systems

    Pages 37-51

    Hall-May, Martin (et al.)

  • Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment

    Pages 52-66

    Bearfield, George (et al.)

Buy this book

eBook 71,68 €
price for Spain (gross)
  • ISBN 978-3-540-32000-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-29200-5
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability, and Security
Book Subtitle
24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
Editors
  • Rune Winther
  • Bjoern Axel Gran
  • Gustav Dahll
Series Title
Programming and Software Engineering
Series Volume
3688
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-32000-5
DOI
10.1007/11563228
Softcover ISBN
978-3-540-29200-5
Edition Number
1
Number of Pages
XIII, 405
Topics