Crossmark

On the Industrial Uptake of Formal Methods in the Railway Domain

Crossref DOI link: https://doi.org/10.1007/978-3-319-98938-9_2

Published Online: 2018-08-09

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Basile, Davide

ter Beek, Maurice H.

Fantechi, Alessandro

Gnesi, Stefania

Mazzanti, Franco

Piattino, Andrea

Trentini, Daniele

Ferrari, Alessio
License Information

License valid from 2018-01-01