David Pereira

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 25

Top Topics

Embedded Systems

Formal Verification

Anytime Algorithms

Safety Critical

Top Venues

Publications