An Event-B model of an automotive adaptive exterior light system
Article in International Journal on Software Tools for Technology Transfer (May 2024)
The most recent citing publications are shown below. View all 282 publications that cite this research output on Dimensions.
Article in International Journal on Software Tools for Technology Transfer (May 2024)
Book chapter (March 2024)
Article in Innovations in Systems and Software Engineering (March 2024)