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

Published in: IFM (2018)

Keyphrases