Rovedy Aparecida B. E. Busquim E. Silva
AuthID: R-00G-YPV
1
TÃTULO: Exploring Frama-C Resources by Verifying Space Software
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic
INDEXADO EM: 
CrossRef 
Unpaywall
CrossRef Unpaywall2
TÃTULO: Formal Verification With Frama-C: A Case Study in the Space Software Domain Full Text
AUTORES: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, NÚMERO: 3
AUTORES: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, NÚMERO: 3
