Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking

Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi. Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. Comput. Syst. Sci. Eng., 16(4):249-261, 2001.

Authors

Andrea Bondavalli

This author has not been identified. Look up 'Andrea Bondavalli' in Google

Manuela Nelli

This author has not been identified. Look up 'Manuela Nelli' in Google

Luca Simoncini

This author has not been identified. Look up 'Luca Simoncini' in Google

Giorgio Mongardi

This author has not been identified. Look up 'Giorgio Mongardi' in Google