Safe Comp 97
the 16th International Conference on Computer Safety, Reliability and Security
Edición de la obra Safe Comp 97
| Autor | Peter Daniel |
|---|---|
| Editorial | Springer London |
| Fecha de publicación | 1997 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 381 |
| Formato | [electronic resource] : |
| ISBN-13 | 9781447109976 |
| ISBN-10 | 144710997X |
| OCLC | 840277308 |
| Número de Cutter | D184s |
This volume contains the proceedings of SAFECOMP'97, the 16th International Conference on Computer Safety, Reliability and Security, held in York, 7-10 September 1997. The papers presented here form a platform for technology transfer between academia, industry and research institutions. Topics included are: safe software; safety cases, management and development; security; human factors; guidelines, standards and certification; formal methods and models; applications and industrial experience; testing, validation and verification. SAFECOMP'97 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in 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.