The safe operation of computer systems continues to be a key issue
in many applications where people, environment, investment, or
goodwill can be at risk. Such applications include medical,
railways, power generation and distribution, road transportation,
aerospace, process industries, mining, military and many others.
This book represents the proceedings of the 12th International
Conference on Computer Safety, Reliability and Security, held in
Poznan, Poland, 27-29 October 1993. The conference reviews the
state of the art, experiences and new trends in the areas of
computer safety, reliability and security. It forms a platform for
technology transfer between academia, industry and research
institutions. In an expanding world-wide market for safe, secure
and reliable computer systems SAFECOMP'93 provides an opportunity
for technical developers, users, and legislators to exchange and
review the experience, to consider the best technologies now
available and to identify the skills and technologies required for
the future. The papers were carefully selected by the International
Program Com mittee of the Conference. The authors of the papers
come from 16 different countries. The subjects covered include
formal methods and models, safety assessment and analysis,
verification and validation, testing, reliability issues and
dependable software tech nology, computer languages for safety
related systems, reactive systems technology, security and safety
related applications. As to its wide international coverage, unique
way of combining partici pants from academia, research and industry
and topical coverage, SAFECOMP is outstanding among the other
related events in the field."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!