Nanci Naomi Arai

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Software Architecture

Top Venues

IEEE Trans. Reliab.

Publications

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)
Miriam C. B. Alves, Christine C. Dantas, Nanci Naomi Arai, Rovedy B. da Silva
A topological formal treatment for scenario-based software specification of concurrent real-time systems CoRR (2008)