Dependability Modelling and Analysis of Complex Control Systems: an Application to Railway Interlocking
Research Area: | Uncategorized | Year: | 1996 | ||
---|---|---|---|---|---|
Type of Publication: | In Proceedings | ||||
Authors: | M. Nelli; Andrea Bondavalli; L. Simoncini | ||||
Book title: | EDCC-2 European Dependable Computing Conference | ||||
Pages: | 93-110 | ||||
Address: | Taormina, Italy | ||||
BibTex: |
|||||
Full text:
![]() |