Neutronixy / traffic-control-record-system Star 0 Code Issues Pull requests Development of a Traffic Speed control record application. traffic automotive-security fine automobile-industry speed-control speed-control-system speed-calculator traffic-speed-control speed-camera fine-calculator Updated Apr 3, 2024 Java
xbreu / automotive-system Star 0 Code Issues Pull requests Development of a formal model for an adaptive exterior light and speed control system. verification computer-engineering software refinement formal-methods feup feup-mfs adaptive-exterior-light-system speed-control-system Updated Jun 14, 2022 Alloy