Title :
Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)
Abstract :
The following topics were dealt with: high assurance systems engineering; computer security; quality assurance; concurrent systems assurance; execution environments; software and hardware reliability; high assurance systems testing and specification; and verification
Keywords :
fault tolerant computing; formal specification; performance evaluation; program verification; reliability; security of data; software fault tolerance; software performance evaluation; software quality; computer security; concurrent systems assurance; execution environments; hardware reliability; high assurance systems engineering; quality assurance; verification;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE
Conference_Location :
Niagara on the Lake, Ontario, Canada
Print_ISBN :
0-8186-7629-9
DOI :
10.1109/HASE.1996.618554
