Title :
A methodology for dependability and performability analysis in SAM
Author :
Shi, Tianjun ; He, Xudong
Author_Institution :
Florida International University
Keywords :
Availability; Connectors; Information analysis; Logic; Performance analysis; Petri nets; Real time systems; Software architecture; Software systems; Stochastic processes;
Conference_Titel :
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN :
0-7695-1952-0
DOI :
10.1109/DSN.2003.1209983
