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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3370668
بازگشت