Login / Signup
Gustavo Rezende Silva
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 7
Top Topics
Petri Net
Position Control
Formal Model
Underwater Vehicles
Top Venues
CoRR
ICSE Companion
PNSE @ Petri Nets
ISoLA (1)
</>
Publications
</>