Title :
COMPASS ´90. Proceedings of the Fifth Annual Conference on Computer Assurance. Systems Integrity, Software Safety and Process Security. (Cat. No.90CH2830-8)
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;
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
DOI :
10.1109/CMPASS.1990.175394
