Safe Comp 95 : The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995 /
This volume contains the papers presented at SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11 - 13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guideline...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London,
1995.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This volume contains the papers presented at SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11 - 13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guidelines, legal and human aspects, safety analysis, formal methods, design, verification and validation, reliability issues, dependable software technology, and safety-related applications. Together they provide both a comprehensive overview of the international state of the art, and also an indication of possible future directions for research in this area. The resulting volume will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about computer safety, reliability and security. It provides a representative sample of recent research results and applications problems, presented by experts from both industry and academia. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xii, 516 pages) |
| ISBN: | 9781447130543 (electronic bk.) 1447130545 (electronic bk.) |