Browsing by Author Vakili, Sasan
Showing results 1 to 1 of 1
Publication Date | Title | Author(s) |
---|---|---|
2015 | Design and Formal Verification of an Adaptive Cruise Control Plus (ACC+) System | Vakili, Sasan |
Showing results 1 to 1 of 1