Rovedy Aparecida Busquim e Silva

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Top Venues

IEEE Trans. Reliab.

Int. J. Crit. Infrastructure Prot.

Instituto Tecnológico de Aeronáutica, São José dos Campos, Brazil (PHD)

Education History

Instituto Tecnológico de Aeronáutica, São José dos Campos, Brazil

PHD

Publications

Rovedy Aparecida Busquim e Silva, J. R. C. Piqueira, J. J. Cruz, R. P. Marques
Cybersecurity Assessment Framework for Digital Interface Between Safety and Security at Nuclear Power Plants. Int. J. Crit. Infrastructure Prot. 34 (2021)
Rovedy Aparecida Busquim e Silva, Nanci Naomi Arai, Luciana Akemi Burgareli, José Maria Parente de Oliveira, Jorge Sousa Pinto
Formal Verification With Frama-C: A Case Study in the Space Software Domain. IEEE Trans. Reliab. 65 (3) (2016)