Login / Signup
Felipe V. Trigo
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Computing Power
Consumer Electronics
Embedded Systems
Embedded Real Time Systems
Top Venues
SBESC
</>
Publications
</>
Rafael G. Silvestrim
,
Felipe V. Trigo
,
Williame Rocha
,
Michael R. S. Vieira
,
Jogno V. Junior
,
Otoniel Da C. Mendes
,
Rafael Sá Menezes
,
Lucas C. Cordeiro
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration.
SBESC
(2023)