Name
Title | ||
|---|---|---|
Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.14279/tuj.eceasst.77.1106 | ECEASST |
DocType | Volume | Citations |
Journal | 77 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Cinzia Bernardeschi | 1 | 0 | 1.69 |
| Andrea Domenici | 2 | 100 | 17.16 |
| Sergio Saponara | 3 | 1 | 5.45 |