Name
Title | ||
|---|---|---|
Verification of Decision Making Software in an Autonomous Vehicle - An Industrial Case Study. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1007/978-3-030-27008-7_9 | FMICS |
Field | DocType | Volume |
Model checking,Software engineering,Computer science,Correctness,Agile software development,Software,Component-based software engineering,Formal methods,Decision-making software,Distributed computing,Formal verification | Conference | 11687 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Yuvaraj Selvaraj | 1 | 0 | 0.68 |
| Wolfgang Ahrendt | 2 | 4 | 2.81 |
| Martin Fabian | 3 | 204 | 27.91 |