Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.

Manuela Nelli, Andrea Bondavalli, Luca Simoncini

Browse the full EDCC paper archive.