[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

Computer Safety, Reliability, and Security

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

  • Conference proceedings
  • © 2003

Overview

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2003.

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

Access this book

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book GBP 44.99
Price includes VAT (United Kingdom)
  • 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

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.

Similar content being viewed by others

Keywords

Table of contents (32 papers)

  1. Keynote Talk

  2. Formal Methods

  3. Design for Dependability

  4. Security and Formal Methods

  5. Keynote Talk

  6. Dependability and Performance Analysis

  7. Dependability of Medical Systems

  8. Fault Tolerance

Other volumes

  1. Computer Safety, Reliability, and Security

Editors and Affiliations

  • School of Informatics, The University of Edinburgh LFCS, Edinburgh, UK

    Stuart Anderson

  • School of Informatics, The University of Edinburgh, Edinburgh, UK

    Massimo Felici

  • Centre for Software Reliability, City University, Northampton Square, London, UK

    Bev Littlewood

Bibliographic Information

Publish with us