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