Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2012 | A case study on model checking and deductive verification techniques of safety-critical software | Silva, Rovedy Aparecida Busquim e; Oliveira, José Manuel Parente de; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
Set-2016 | Formal verification with Frama-C: a case study in the space software domain | Silva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al. | Artigo | Acesso restrito UMinho |
2013 | Using abstract interpretation to produce dependable aerospace control software | Silva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al. | Artigo em ata de conferência | Acesso aberto |