Model-driven availability evaluation of railway control systems
| Title | Model-driven availability evaluation of railway control systems |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V |
| Conference Name | 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11) |
| Conference Location | Napoli (Italy) |
| Export |
