DocumentCode
2815235
Title
COMPASS ´90. Proceedings of the Fifth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security. (Cat. No.90CH2830-8)
fYear
1990
fDate
25-28 June 1990
Abstract
Presents the cover from the proceedings of this conference.
Keywords
quality control; safety; security of data; software reliability; system recovery; systems analysis; automatic test data generation; code correspondence analysis; computer assurance; control systems; critical-system requirements; inconsistencies; knowledge bases; medical software; process security; program verification; proof systems; railway signalling; real-time system safety aspects; rule-based systems; software failure characterization; software safety; specification; symbolic execution; systems integrity;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on
Conference_Location
Gaithersburg, MD, USA
Type
conf
DOI
10.1109/CMPASS.1990.175394
Filename
175394
Link To Document