Model-driven availability evaluation of railway control systems

TitleModel-driven availability evaluation of railway control systems
Publication TypeConference Paper
Year of Publication2011
AuthorsBernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V
Conference Name30th International Conference on Computer Safety, Reliability and Security (Safecomp'11)
Conference LocationNapoli (Italy)
Export