Title :
COMPASS ´92. Proceedings of the Seventh Annual Conference on Computer Assurance (Cat. No.92CH3138-5)
Abstract :
The following topics are dealt with: verification of safety-critical systems with a major information system component; specification of security of information systems and development of methods for their assurance; issues in safety-critical systems design and development; software safety and economics; problems in defining processes that involve safety-critical systems; and the current state of standards in the software safety arenas
Keywords :
formal verification; safety; security of data; software quality; software reliability; data security; economics; information system; safety-critical systems; software safety; verification;
Conference_Titel :
Computer Assurance, 1992. COMPASS '92. 'Systems Integrity, Software Safety and Process Security: Building the System Right.', Proceedings of the Seventh Annual Conference on
Conference_Location :
Gaithersburg, MD, USA
Print_ISBN :
0-7803-0579-5
DOI :
10.1109/CMPASS.1992.235767
