Rovedy Aparecida Busquim e Silva

According to our database, Rovedy Aparecida Busquim e Silva authored at least 3 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Cybersecurity Assessment Framework for Digital Interface Between Safety and Security at Nuclear Power Plants.

Rovedy Aparecida Busquim e Silva, José Roberto Castilho Piqueira, J. J. Cruz, R. P. Marques

Int. J. Crit. Infrastructure Prot., 2021

2016

Formal Verification With Frama-C: A Case Study in the Space Software Domain.

Rovedy Aparecida Busquim e Silva, Nanci Naomi Arai, Luciana Akemi Burgareli, José Maria Parente de Oliveira, Jorge Sousa Pinto

IEEE Trans. Reliab., 2016

2013

Uma abordagem de engenharia reversa para extração do projeto de sistemas de software crítico embarcado.

Rovedy Aparecida Busquim e Silva

PhD thesis, 2013