Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking

Research Area: Uncategorized Year: 2001
Type of Publication: Article
Authors: Andrea Bondavalli; M. Nelli; L. Simoncini; G. Mongardi
Journal: Journal of Computer Systems Science and Engineering, CRL Publishing Volume: 16
Number: 4 Pages: 249-261

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web