DocumentCode :
2811477
Title :
Developing high-level reliability languages using a general intermediate domain
Author :
Painter, Robert R. ; Coppit, David
Author_Institution :
Dept. of Comput. Sci., Coll. of William & Mary, Williamsburg, VA, USA
fYear :
2005
fDate :
Jan. 24-27, 2005
Firstpage :
133
Lastpage :
138
Keywords :
Markov processes; cost reduction; failure analysis; formal specification; high level languages; software reliability; Markov model; cost reduction; failure automaton; formal semantic domain; formal specification; high-level reliability language; intermediate domain language; Automata; Computer science; Costs; Educational institutions; Fault trees; Formal specifications; High level languages; Mathematical model; Reliability engineering; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Reliability and Maintainability Symposium, 2005. Proceedings. Annual
ISSN :
0149-144X
Print_ISBN :
0-7803-8824-0
Type :
conf
DOI :
10.1109/RAMS.2005.1408351
Filename :
1408351
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2811477
بازگشت