Safety of Computer Control Systems 1990 (SAFECOMP'90)

Safety of Computer Control Systems 1990 (SAFECOMP'90)
Author :
Publisher : Elsevier
Total Pages : 191
Release :
ISBN-10 : 9781483298351
ISBN-13 : 1483298353
Rating : 4/5 (353 Downloads)

Book Synopsis Safety of Computer Control Systems 1990 (SAFECOMP'90) by : B.K. Daniels

Download or read book Safety of Computer Control Systems 1990 (SAFECOMP'90) written by B.K. Daniels and published by Elsevier. This book was released on 2014-06-28 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt: The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained from specifying, creating, operating, and licensing computers in safety, security and reliability related applications. There are reviews of guidelines and industrial applications, with a section covering methods and tools used in designing, documenting, analysing, testing and assessing systems dependent on the SAFECOMP factors.


Safety of Computer Control Systems 1990 (SAFECOMP'90) Related Books

Safety of Computer Control Systems 1990 (SAFECOMP'90)
Language: en
Pages: 191
Authors: B.K. Daniels
Categories: Computers
Type: BOOK - Published: 2014-06-28 - Publisher: Elsevier

GET EBOOK

The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the
Safety, Security and Reliability Related Computers for the 1990s
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 1990 - Publisher:

GET EBOOK

Safety of Computer Control Systems, 1990 (SAFECOMP '90)
Language: en
Pages: 175
Authors: England) I. F. A. C./E. W. I. C. S./S. A. R. S. Symposium on Safety of Computer Control Systems (1990 : Gatwick
Categories:
Type: BOOK - Published: 1990 - Publisher:

GET EBOOK

Computer Security
Language: en
Pages: 158
Authors: John S. Potts
Categories: Computers
Type: BOOK - Published: 2002 - Publisher: Nova Publishers

GET EBOOK

We live in a wired society, with computers containing and passing around vital information on both personal and public matters. Keeping this data safe is of par
Mechanizing Proof
Language: en
Pages: 448
Authors: Donald MacKenzie
Categories: Social Science
Type: BOOK - Published: 2004-01-30 - Publisher: MIT Press

GET EBOOK

Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national