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.
Autor principal: | |
---|---|
Outros Autores: | , |
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 |
Resumo: | All resources relevant for the ELS case study are available at: https://github.com/haslab/Electrum2/wiki/ELS. |
---|