Artigo em ata de conferência Acesso aberto Versão final da editora Revisto por pares

Automating the software verification test process for SIL logic solvers for subsea oil & gas applications

Automação do processo de verificação de software para programadores lógicos SIL em aplicações de exploração de petróleo submarina