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:
@conference{NBS96-EDCC2-120, author = "M. Nelli and Bondavalli, Andrea and L. Simoncini", address = "Taormina, Italy", booktitle = "EDCC-2 European Dependable Computing Conference", pages = "93--110", title = "{D}ependability {M}odelling and {A}nalysis of {C}omplex {C}ontrol {S}ystems: an {A}pplication to {R}ailway {I}nterlocking", year = "1996", }
Full text: file-NBS96-EDCC2-120.pdf