Safecomp '93: The 12th International Conference on Computer Safety, Reliability, and Security, Poznan, Poland, 27-29 October 1993 - Softcover

Softcover

ISBN 10: 0387198385 ISBN 13: 9780387198385

Publisher: Springer Verlag, 1994

Synopsis

This book presents the proceedings of SAFECOMP '93: the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The papers cover a broad spectrum of subjects including formal methods and models, safety assessment and analysis verification and validation, testing, reliability issues and dependable software technology, computer languages for safety related systems, reactive systems technology, security and safety related applications.
SAFECOMP '93 is for 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 industrial and academic institutions.

Edition details

• Publisher: Springer Verlag
• Publication date: 1994
• Language: English
• ISBN 10: 0387198385
• ISBN 13: 9780387198385
• Binding: Paperback
• Editor: Gorski Janusz