An Event-B Model of an Automotive Adaptive Exterior Light System.

Amel Mammar Marc Frappier Régine Laleau

Published in: ABZ (2020)

Keyphrases

probabilistic model
computational model
high level
objective function
theoretical analysis
parameter estimation
real time
clustering algorithm
case study
multiscale
video sequences
topic models
mathematical model
hierarchical structure
hybrid model
automotive industry