Name
Title | ||
|---|---|---|
10451 Abstracts Collection - Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems. |
Year | Venue | Field |
|---|---|---|
2010 | Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems | Informatics,Software engineering,Computer science,Runtime verification,Autonomous system (Internet) |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Klaus Havelund | 1 | 10 | 2.98 |
| Martin Leucker | 2 | 1639 | 112.68 |
| Martin Sachenbacher | 3 | 146 | 13.96 |
| Oleg Sokolsky | 4 | 2193 | 154.94 |
| Brian C. Williams | 5 | 0 | 2.03 |