Alessio Ferrari

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Comparing formal tools for system design: a judgment study

Alessio Ferrari and others (2020) · Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering · ACM

Adopting Formal Methods in an Industrial Setting: The Railways Case

Maurice H. ter Beek and others (2019) · Springer International Publishing

Survey on Formal Methods and Tools in Railways Technical Report on the activities performed within ASTRail, Deliverable D4.1

Alessio Ferrari (2019) · Zenodo

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

Davide Basile and others (2018) · Lecture notes in computer science · Springer Science+Business Media