Vignesh Manjunath

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Development Projects

Embedded Software

Top Venues

Publications

Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach
Verifying Liveness and Real-Time of OS-Based Embedded Software. DSD (2022)