DocumentCode
3370668
Title
Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering
fYear
1999
fDate
17-19 Nov. 1999
Abstract
The following topics were dealt with: high assurance systems engineering; evaluation and testing; UML for high assurance systems; fault analysis; reliable communications; frameworks, systems, and tools; metrics and modelling
Keywords
fault tolerant computing; formal specification; software metrics; UML; fault analysis; high assurance systems; reliable communications; software metrics; software modelling;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on
Conference_Location
Washington, DC, USA
Print_ISBN
0-7695-0418-3
Type
conf
DOI
10.1109/HASE.1999.809468
Filename
809468
Link To Document