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

Pavel Herout, Stanislav Racek, Jan Hlavicka

Browse the full EDCC paper archive.