SAFECOMP '93 - The 12th International Conference on Computer Safety, Reliability and Security (Paperback, Softcover reprint of the original 1st ed. 1993)

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

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	October 1993
First published:	1993
Editors:	Janusz G orski
Dimensions:	235 x 155 x 21mm (L x W x T)
Format:	Paperback
Pages:	389
Edition:	Softcover reprint of the original 1st ed. 1993
ISBN-13:	978-3-540-19838-3
Categories:	Books > Business & Economics > Industry & industrial studies > Industrial relations & safety > Occupational / industrial health & safety Books > Professional & Technical > Mechanical engineering & materials > Production engineering > Computer aided manufacture (CAM) Books > Professional & Technical > Mechanical engineering & materials > Production engineering > Reliability engineering Books > Computing & IT > Applications of computing > Databases > Data security & data encryption Promotions
LSN:	3-540-19838-5
Barcode:	9783540198383

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!