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 PreviewBuy this book
- 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
Pages 1-7
-
Elicitation and Validation of Graphical Dependability Models
Pages 8-21
-
Visual Modeling and Verification of Distributed Reactive Systems
Pages 22-34
-
Automatic Timeliness Verification of a Public Mobile Network
Pages 35-48
-
Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform
Pages 49-62
-
Table of contents (32 chapters)
Recommended for you

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