Biblio

Export 1 results:
Filters: Author is Yuvaraj Selvaraj  [Clear All Filters]
2022
Selvaraj, Yuvaraj. Safety Proofs for Automated Driving using Formal Methods In Department of Electrical Engineering Chalmers . Vol. doctor of philosophy. Sweden: University of Technology Gothenburg, 2022.