Biblio
Found 1 results
Filters: Keyword is Safety verification and Author is Fan, Chuchu [Clear All Filters]
.
2018. Data-driven formal reasoning and their applications in safety analysis of vehicle autonomy features. IEEE Design and Test. 35:31–38.