A Model-based Approach for the Modeling and the Verification of Railway Signaling System.

Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul

Browse the full ENASE paper archive.