TITLE     : Designing a demonstrator of formal methods for railways infrastructure managers
AUTHOR(S) : Basile D, Ter Beek Mh, Fantechi A, Ferrari A, Gnesi S, Masullo L, Mazzanti F, Piattino A, Trentini D
TYPE      : Conference article
YEAR      : 2020
CODE      : 434652

*** DO NOT EDIT THIS FILE ***