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

Amel Mammar Marc Frappier Régine Laleau

Published in: Int. J. Softw. Tools Technol. Transf. (2024)

Keyphrases

formal model
probabilistic model
hybrid model
multiscale
management system
computational model
real time
data mining
mathematical model
conceptual model