Validating Multiple Variants of an Automotive Light System with Electrum Artigo de Conferência 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
  • Macedo, N
  • Liu, C
  • Vilches, VM
  • Fernández, IA
  • Pinzger, M
  • Rass, S
  • Aksoy-Aksel, A.

data de publicação

  • janeiro 1, 2020