An Event-B model of an automotive adaptive exterior light system.
Saved in:
| Title: | An Event-B model of an automotive adaptive exterior light system. |
|---|---|
| Authors: | Mammar, Amel1, amel.mammar@telecom-SudParis.eu, Frappier, Marc2, Laleau, Régine3 |
| Source: | International Journal on Software Tools for Technology Transfer; Jun2024, Vol. 26 Issue 3, p331-346, 16p |
| Database: | Applied Science & Technology Source |
| ISSN: | 14332779 |
|---|---|
| DOI: | 10.1007/s10009-024-00748-z |
