An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli. An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. In Gerhard Rabe, editor, 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995. pages 474-488, Springer, 1995. [doi]

This author has not been identified. Look up 'A. Anselmi' in GoogleThis author has not been identified. Look up 'Cinzia Bernardeschi' in GoogleThis author has not been identified. Look up 'Alessandro Fantechi' in GoogleThis author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Salvatore Larosa' in GoogleThis author has not been identified. Look up 'Giorgio Mongardi' in GoogleThis author has not been identified. Look up 'Fernando Torielli' in Google

runs on WebDSL