DocumentCode
1604722
Title
Computers and Safety. A First International Conference on the Use of Programmable Electronic Systems in Safety Related Applications (Conf. Publ. No.314)
fYear
1989
Abstract
The following topics were dealt with: safety systems and software; sector guidance; safety-related systems applications in control systems for engineering; assessment of programmable electronic systems in safety related applications; formal methods in safety systems; and safety standards
Keywords
computerised control; engineering computing; fault tolerant computing; formal logic; safety; safety systems; software reliability; standards; assessment; control systems; engineering; formal methods; programmable electronic systems; safety standards; safety-related systems applications; sector guidance;
fLanguage
English
Publisher
iet
Conference_Titel
Computers and Safety, 1989. A First International Conference on the Use of Programmable Electronic Systems in Safety Related Applications
Conference_Location
Cardiff
Type
conf
Filename
82223
Link To Document