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.)

Free Preview

Buy this book

eBook 63,06 €
price for Spain (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 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-20126-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • Elicitation and Validation of Graphical Dependability Models

    Wright, David

    Pages 8-21

    Preview Buy Chapter 30,19 €
  • Visual Modeling and Verification of Distributed Reactive Systems

    Iqbal, A. (et al.)

    Pages 22-34

    Preview Buy Chapter 30,19 €
  • Automatic Timeliness Verification of a Public Mobile Network

    Ciancamerla, E. (et al.)

    Pages 35-48

    Preview Buy Chapter 30,19 €
  • Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform

    Bozzano, Marco (et al.)

    Pages 49-62

    Preview Buy Chapter 30,19 €

Buy this book

eBook 63,06 €
price for Spain (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 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-20126-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • 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
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