A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems.
['Pierfrancesco Bellini', 'Paolo Nesi', 'Imad Zaza']
A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems.