Name
Title | ||
|---|---|---|
Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains. |
Year | Venue | DocType |
|---|---|---|
2018 | ABZ | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
8 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Dominik Hansen | 1 | 26 | 3.23 |
| Michael Leuschel | 2 | 2156 | 135.89 |
| David Schneider | 3 | 0 | 0.68 |
| Sebastian Krings | 4 | 25 | 8.93 |
| Philipp Körner | 5 | 0 | 2.03 |
| Thomas Naulin | 6 | 0 | 0.34 |
| Nader Nayeri | 7 | 0 | 0.34 |
| Frank Skowron | 8 | 0 | 0.34 |