Validating multiple variants of an automotive light system with electrum

All resources relevant for the ELS case study are available at: https://github.com/haslab/Electrum2/wiki/ELS.

Bibliographic Details
Main Author: Cunha, Alcino (author)
Other Authors: Macedo, Nuno (author), Liu, Chong (author)
Format: conferencePaper
Language:eng
Published: 2020
Subjects:
Online Access:http://hdl.handle.net/1822/68521
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/68521