Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3688)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security
Conference proceedings info: SAFECOMP 2005.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (30 papers)
-
Front Matter
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.
Keywords
- Code
- Unified Modeling Language (UML)
- communication
- computer reliability
- correct systems behaviour
- data integrity
- dependable computing
- distributed systems
- formal method
- reaction systems
- real-time
- safety-critical systems
- security
- systems availability
- systems protection
Editors and Affiliations
-
Faculty of Computer Sciences, Østfold University College, Os Allé, Halden, Norway
Rune Winther
-
Insitute for Energy Technology, Software Engineering Laboratory, Halden, Norway
Bjørn Axel Gran
-
Software Engineering Laboratory, Institute for Engergy Technology, Halden, Norway
Gustav Dahll
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, Bjørn Axel Gran, Gustav Dahll
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11563228
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2005
Softcover ISBN: 978-3-540-29200-5Published: 19 September 2005
eBook ISBN: 978-3-540-32000-5Published: 10 October 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 405
Topics: Software Engineering, Coding and Information Theory, Special Purpose and Application-Based Systems, Computer Science Logic and Foundations of Programming, IT Operations