/automotive-system

Development of a formal model for an adaptive exterior light and speed control system.

Primary LanguageAlloyMIT LicenseMIT

Stargazers

No one’s star this repository yet.