DocumentCode
3445131
Title
Dependable Computing for Critical Applications 7
fYear
1999
fDate
8-8 Jan. 1999
Abstract
The following topics were dealt with: dependable computing for critical applications; COTS components; formal methods; distributed systems; time-triggered architecture; fault tolerance and safety; integrated modular avionics; dependability evaluation; and probabilistic guarantees
Keywords
fault tolerant computing; software reliability; COTS components; critical applications; dependability evaluation; dependable computing; distributed systems; fault tolerance; formal method; integrated modular avionics; probabilistic guarantees; safety; time-triggered architecture; Computer applications;
fLanguage
English
Publisher
ieee
Conference_Titel
Dependable Computing for Critical Applications 7, 1999
Conference_Location
San Jose, CA, USA
Print_ISBN
0-7695-0284-9
Type
conf
DOI
10.1109/DCFTS.1999.814285
Filename
814285
Link To Document