Leonardo Mangeruca

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 1

Top Topics

Embedded Real Time Systems

Underlying Assumptions

Formal Verification

Top Venues

SAFECOMP Workshops

Publications