Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini

Browse the full ISoLA paper archive.