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. ERCIM News, 2015(103), 2015. [doi]

Abstract

Abstract is missing.