Model-Based Dependability Evaluation Method for TTP/C Based Systems

Herout, P., Racek, S., Hlavička, J.

HEROUT, P., S. RACEK, and J. HLAVIČKA. Model-Based Dependability Evaluation Method for TTP/C Based Systems. In: BONDAVALLI, A. and P. THEVENOD-FOSSE, eds. Dependable Computing EDCC-4. 4th European Dependable Computing Conference (EDCC-4), Toulouse, 2002-10-23/2002-10-25. Berlin: Springer, 2002. p. 271-282. ISSN 0302-9743. ISBN 3-540-00012-7.