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.

Detalhes bibliográficos
Autor principal: Cunha, Alcino (author)
Outros Autores: Macedo, Nuno (author), Liu, Chong (author)
Formato: conferencePaper
Idioma:eng
Publicado em: 2020
Assuntos:
Texto completo:http://hdl.handle.net/1822/68521
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/68521
Descrição
Resumo:All resources relevant for the ELS case study are available at: https://github.com/haslab/Electrum2/wiki/ELS.