SAFECOMP ’93

SAFECOMP ’93
Author :
Publisher : Springer Science & Business Media
Total Pages : 382
Release :
ISBN-10 : 9781447120612
ISBN-13 : 1447120612
Rating : 4/5 (12 Downloads)

Book Synopsis SAFECOMP ’93 by : Janusz Gorski

Download or read book SAFECOMP ’93 written by Janusz Gorski and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 382 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


SAFECOMP ’93 Related Books

SAFECOMP ’93
Language: en
Pages: 382
Authors: Janusz Gorski
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
SAFECOMP'93, the 12th International Conference on Computer Safety, Reliability, and Security, Poznań-Kiekrz, Poland, 27-29 October 1993
Language: en
Pages: 412
Authors: Janusz Górski
Categories: Automatic control
Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

The world-wide market for safe, secure and reliable computer systems is expanding. For many high technology applications, safety is one of the top priorities. A
Safe Comp 95
Language: en
Pages: 510
Authors: Gerhard Rabe
Categories: Computers
Type: BOOK - Published: 2013-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed
Safe Comp 96
Language: en
Pages: 424
Authors: Erwin Schoitsch
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October
Information Systems Security
Language: en
Pages: 496
Authors: Sokratis Katsikas
Categories: Computers
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This book presents a state-of-the-art review of current perspectives in information systems security in view of the information society of the 21st century. It