More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Computer Science

Computer Safety, Reliability, and Security

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

Editors: Anderson, Stuart, Felici, Massimo, Littlewood, Bev (Eds.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-39878-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-20126-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.

Table of contents (32 chapters)

  • Issues in Safety Assurance

    Thomas, Martyn

    Pages 1-7

  • Elicitation and Validation of Graphical Dependability Models

    Wright, David

    Pages 8-21

  • Visual Modeling and Verification of Distributed Reactive Systems

    Iqbal, A. (et al.)

    Pages 22-34

  • Automatic Timeliness Verification of a Public Mobile Network

    Ciancamerla, E. (et al.)

    Pages 35-48

  • Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform

    Bozzano, Marco (et al.)

    Pages 49-62

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-39878-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-20126-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computer Safety, Reliability, and Security
Book Subtitle
22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings
Editors
  • Stuart Anderson
  • Massimo Felici
  • Bev Littlewood
Series Title
Lecture Notes in Computer Science
Series Volume
2788
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39878-3
DOI
10.1007/b12002
Softcover ISBN
978-3-540-20126-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIX, 426
Topics