Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 ; proceedings / Bettina Buth, Gerd Rabe, Till Seyfarth (eds.).
Material type:
TextPublisher number: 12753260Series: Lecture notes in computer science ; 5775.Publication details: Berlin : Springer, 2009.Description: 1 online resource (xi, 341 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783642044687
- 3642044689
- 9783642044670
- 3642044670
- SAFECOMP 2009
- Computer software -- Reliability -- Congresses
- Electronic digital computers -- Reliability -- Congresses
- Computer security -- Congresses
- Industrial safety -- Congresses
- Logiciels -- Fiabilité -- Congrès
- Sécurité informatique -- Congrès
- Sécurité du travail -- Congrès
- Informatique
- Computer security
- Computer software -- Reliability
- Electronic digital computers -- Reliability
- Industrial safety
- Computersicherheit
- Datensicherung
- Eingebettetes System
- Fehlertoleranz
- Formale Methode
- Mensch-Maschine-Kommunikation
- Sicherheitskritisches System
- Softwareentwicklung
- Systementwicklung
- Technische Sicherheit
- Zuverlässigkeit
- 004.6 22
- QA76.76.R44 S23 2009
- SS 4800
- DAT 260f
- DAT 343f
- DAT 460f
- DAT 050f
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes bibliographical references and index.
Print version record.
Medical systems -- Industrial experience -- Security risk analysis -- Safety guidelines -- Automotive -- Aerospace -- Verification, validation, test -- Fault tolerance -- Dependability.
This book constitutes the refereed proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Hamburg, Germany, in September 2009. The 25 full papers presented together with two invited talks were carefully reviewed and selected from 72 submissions. The papers are organized in topical sections on medical systems, industrial experience, security risk analysis, safety guidelines, automotive, aerospace, verification, valdidation, test, fault tolerance, dependability.