Paper Info
Title
Adopting Formal Methods in an Industrial Setting - The Railways Case.
Year
DOI
Venue
2019
10.1007/978-3-030-30942-8_46
FM
Field
DocType
Citations 
Convergence (routing),Computer science,Theoretical computer science,Industrial setting,Formal methods,Management science
Conference
1
PageRank 
References 
Authors
0.35
0
7
Name
Order
Citations
PageRank
Maurice H. ter Beek171862.08
Arne Borälv210.35
Alessandro Fantechi31199103.40
Alessio Ferrari430737.46
S. Gnesi515312.90
Christer Löfving610.35
Franco Mazzanti727221.69