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

authors

publication date

May 14, 2024

published in

International Journal on Software Tools for Technology Transfer Journal

Digital Object Identifier (DOI)

https://doi.org/10.1007/s10009-024-00748-z

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W4396904796 Global Citation Count

start page

331

end page

346

volume

26

issue

3