Browsing by Subject "Formal Methods"
Now showing items 1-1 of 1
-
(2015-08-07)Adaptive cruise control (ACC) testing requires minimum of two cars and a platform where the two cars can be tested for a continuous time. Here a custom-built platform and software are presented for testing various ACC ...