Christer Löfving

According to our database, Christer Löfving authored at least 1 paper in 2019.

Collaborative distances:

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

2019

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

Maurice H. ter Beek, Arne Borälv, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Christer Löfving, Franco Mazzanti

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019