A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Pezzuti, Giordano Pola, Elena De Santis, Maria Domenica Di Benedetto. A critical bisimulation approach to safety criticality analysis of large-scale Air Traffic Management systems. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 4224-4229, IEEE, 2013. [doi]

This author has not been identified. Look up 'Davide Pezzuti' in GoogleThis author has not been identified. Look up 'Giordano Pola' in GoogleThis author has not been identified. Look up 'Elena De Santis' in GoogleThis author has not been identified. Look up 'Maria Domenica Di Benedetto' in Google

runs on WebDSL