UML Based Reverse Engineering for the Verification of Railway Control Logics.

Chiara Abbaneo, Francesco Flammini, Armando Lazzaro, Pietro Marmo, Nicola Mazzocca, Angela Sanseviero

Browse the full DEPCoS paper archive.