Frank Ortmeier,
Peter Daniel
Springer Berlin Heidelberg
2012e druk, 2012
9783642336775
Computer Safety, Reliability, and Security
31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings
Specificaties
Paperback, 402 blz.
|
Engels
Springer Berlin Heidelberg |
2012e druk, 2012
ISBN13: 9783642336775
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.
Specificaties
ISBN13:9783642336775
Taal:Engels
Bindwijze:paperback
Aantal pagina's:402
Uitgever:Springer Berlin Heidelberg
Druk:2012
Hoofdrubriek:Netwerken, Computer en informatica
Inhoudsopgave
Tools.- Risk Analysis.- Testing.- Quantitative Analysis.- Security.-
Formal Methods.- Aeronautic.- Automotive.- Process.- Case Studies.
Formal Methods.- Aeronautic.- Automotive.- Process.- Case Studies.