On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.

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

Browse the full IFM paper archive.