Hierarchical Modelling of HW/SW Control Systems: an Application to Dependability Analysis of Railway Interlocking

Research Area: Uncategorized Year: 1996
Type of Publication: Technical Report
Authors: M. Nelli; Andrea Bondavalli; L. Simoncini
Institution: CNUCE-CNR, Pisa, Italy
Number: C96-09 Type of Publication: Internal Report

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web