Title | ||
---|---|---|
A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. |
Year | DOI | Venue |
---|---|---|
2018 | 10.14279/tuj.eceasst.76.1077 | ECEASST |
DocType | Volume | Citations |
Journal | 76 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christophe Limbrée | 1 | 0 | 0.34 |
Charles Pecheur | 2 | 284 | 28.50 |