DocumentCode
3460113
Title
COMPASS ´91. Proceedings of the Sixth Annual Conference on Computer Assurance: Systems Integrity, Software Safety and Process Security (Cat. No.91CH3033-8)
fYear
1991
fDate
24-27 June 1991
Abstract
The following topics are dealt with: the European Economic Community research in computer assurance; improving industry training in computer assurance; certification and safety of critical systems; formal methods; US and international sponsored activities; and risk containment planning and quality measurements
Keywords
control engineering computing; fault tolerant computing; formal specification; program testing; quality control; safety; security of data; software metrics; software reliability; standards; European Economic Community; US; aerospace control computing; certification; computer assurance; critical systems; formal methods; industry training; international sponsored activities; quality measurements; risk containment planning; safety;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1991. COMPASS '91, Systems Integrity, Software Safety and Process Security. Proceedings of the Sixth Annual Conference on
Conference_Location
Gaithersburg, MD, USA
Print_ISBN
0-7803-0126-9
Type
conf
DOI
10.1109/CMPASS.1991.161021
Filename
161021
Link To Document