Validating multiple variants of an automotive light system with Electrum Artigo de Conferência Capítulo de livro uri icon

resumo

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

autores

  • Cunha, Alcino
  • Manuel Alcino Pereira da Cunha
  • Alcino Cunha
  • Chong Liu
  • Vilches, VM
  • Fernández, IA
  • Pinzger, M
  • Rass, S
  • Aksoy-Aksel, A.

data de publicação

  • 2020