Login / Signup
Raimundo S. Barreto
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 29
Top Topics
Embedded Systems
Model Checking
Test Generation
Vehicular Ad Hoc Networks
Top Venues
SBESC
CoRR
HealthCom
TACAS (2)
</>
Publications
</>