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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.