Name
Title | ||
|---|---|---|
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System. |
Year | Venue | Field |
|---|---|---|
2014 | SEKE | Systems engineering,Computer science,European Train Control System,Formal verification |
DocType | Citations | PageRank |
Conference | 2 | 0.37 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Huu Nghia Nguyen | 1 | 17 | 3.18 |
| Ana R. Cavalli | 2 | 671 | 76.11 |