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