Title :
Computers and Safety. A First International Conference on the Use of Programmable Electronic Systems in Safety Related Applications (Conf. Publ. No.314)
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;
Conference_Titel :
Computers and Safety, 1989. A First International Conference on the Use of Programmable Electronic Systems in Safety Related Applications
Conference_Location :
Cardiff
