pith. sign in

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