Model-driven safety evaluation with state-event-based component failure annotations (0)

by L Grunske, B Kaiser, Y Papadopoulos
Venue:In CBSE, pages 33–48, vol 3489 of LNCS