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]
No references recorded for this publication.
No citations of this publication recorded.