Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni. Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Transactions on Intelligent Transportation Systems, 13(2):714-723, 2012. [doi]

This author has not been identified. Look up 'Ahmed Mekki' in GoogleThis author has not been identified. Look up 'Mohamed Ghazel' in GoogleThis author has not been identified. Look up 'Armand Toguyéni' in Google

runs on WebDSL