View in EDS

An Event-B model of an automotive adaptive exterior light system.

Saved in:
Bibliographic Details
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
Be the first to leave a comment!
You must be logged in first