Rovedy B. da Silva (Institute of Aeronautics

Identifiers

• name variant Rovedy B. da Silva (Institute of Aeronautics 0.60 · backfill

Papers (1)

1. A topological formal treatment for scenario-based software specification of concurrent real-time systems cs.SE · 2008 · author #4

Mentions

• 0802.0212 #4 · backfill · confidence 0.70 Rovedy B. da Silva (Institute of Aeronautics

Frequent Coauthors

• Brazil) 1 shared papers
• Christine C. Dantas 1 shared papers
• Miriam C. B. Alves 1 shared papers
• Nanci N. Arai 1 shared papers
• Space - IAE/CTA 1 shared papers