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.
tem uma área de assunto Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
palavras-chave Automotive software Electrum Formal specification Lightweight formal methods Model finding Scenario exploration Verification and validation