Title :
Proceedings of COMPASS´94 - 1994 IEEE 9th Annual Conference on Computer Assurance
fDate :
June 27 1994-July 1 1994
Abstract :
The following topics were dealt with: safety; the use and assessment of formal methods; alternatives to formal verification; fault tolerance; concurrency and real-time systems; software testability for critical systems; hardware verification and security
Keywords :
fault tolerant computing; multiprocessing systems; real-time systems; reliability; safety; security of data; computer assurance; concurrency; critical systems; fault tolerance; formal methods; formal verification; hardware verification; real-time systems; reliability; safety; security; software testability;
Conference_Titel :
Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-1855-2
DOI :
10.1109/CMPASS.1994.318473
