Adopting Formal Methods in an Industrial Setting: The Railways Case.

Maurice H. ter Beek, Arne Borlv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Lfving, Franco Mazzanti

Browse the full FM paper archive.