Irene Rosadi

According to our database, Irene Rosadi authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces.

Davide Basile, Alessandro Fantechi, Irene Rosadi

Proceedings of the Formal Methods for Industrial Critical Systems, 2021