DocumentCode
2015129
Title
Proceedings of COMPASS´94 - 1994 IEEE 9th Annual Conference on Computer Assurance
fYear
1994
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPASS.1994.318473
Filename
318473
Link To Document