An Event-B model of an automotive adaptive exterior light system
Crossref DOI link: https://doi.org/10.1007/s10009-024-00748-z
Published Online: 2024-05-14
Published Print: 2024-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mammar, Amel
Frappier, Marc
Laleau, Régine
Text and Data Mining valid from 2024-05-14
Version of Record valid from 2024-05-14
Article History
Accepted: 29 April 2024
First Online: 14 May 2024