Formal modeling, verification and implementation of a train control system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

MohammadHossein AskariHemmat, Otmane Aït Mohamed, Mounir Boukadoum. Formal modeling, verification and implementation of a train control system. In 27th International Conference on Microelectronics, ICM 2015, Casablanca, Morocco, December 20-23, 2015. pages 134-137, IEEE, 2015. [doi]

This author has not been identified. Look up 'MohammadHossein AskariHemmat' in GoogleThis author has not been identified. Look up 'Otmane Aït Mohamed' in GoogleThis author has not been identified. Look up 'Mounir Boukadoum' in Google

runs on WebDSL