Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-10431-7_25 | SEFM |
Field | DocType | Citations |
Object-oriented programming,Computer science,Correctness,Real-time computing,Automatic control,Software,Invariant (mathematics) | Conference | 1 |
PageRank | References | Authors |
0.38 | 9 | 7 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stefan Huster | 1 | 2 | 2.43 |
| Patrick Heckeler | 2 | 4 | 4.17 |
| Hanno Eichelberger | 3 | 8 | 2.89 |
| Jürgen Ruf | 4 | 122 | 23.04 |
| Sebastian Burg | 5 | 2 | 2.77 |
| Thomas Kropf | 6 | 326 | 59.09 |
| Wolfgang Rosenstiel | 7 | 1462 | 212.32 |