Stefania Gnesi
3 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.
Adopting Formal Methods in an Industrial Setting: The Railways Case
Maurice H. ter Beek and others (2019) · Springer International Publishing
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
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata
Davide Basile and others (2017) · Proceedings of the 21st International Systems and Software Product Line Conference - Volume B · ACM