Can AI Help with the Formalization of Railway Cybersecurity Requirements?

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi

Browse the full ISoLA paper archive.