An Event-B Model of an Automotive Adaptive Exterior Light System
Paper published at ABZ'2020 conference
(Pdf paper)
Event-B source specification (entirely developed by Amel Mammar)
Event-B sources(zip file)
© Amel Mammar, Télécom SudParis