Model-Driven Availability Evaluation of Railway Control Systems.

Simona Bernardi, Francesco Flammini, Stefano Marrone, Jos Merseguer, Camilla Papa, Valeria Vittorini

Browse the full SAFECOMP paper archive.