Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari 0001, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini. Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Volume 12478 of Lecture Notes in Computer Science, pages 467-485, Springer, 2020. [doi]

This author has not been identified. Look up 'Davide Basile' in GoogleThis author has not been identified. Look up 'Maurice H. ter Beek' in GoogleThis author has not been identified. Look up 'Alessandro Fantechi' in GoogleThis author has not been identified. Look up 'Alessio Ferrari 0001' in GoogleThis author has not been identified. Look up 'Stefania Gnesi' in GoogleThis author has not been identified. Look up 'Laura Masullo' in GoogleThis author has not been identified. Look up 'Franco Mazzanti' in GoogleThis author has not been identified. Look up 'Andrea Piattino' in GoogleThis author has not been identified. Look up 'Daniele Trentini' in Google

runs on WebDSL