Verifying Liveness and Real-Time of OS-Based Embedded Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach. Verifying Liveness and Real-Time of OS-Based Embedded Software. In 25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022. pages 679-688, IEEE, 2022. [doi]

This author has not been identified. Look up 'Leandro Batista Ribeiro' in GoogleThis author has not been identified. Look up 'Drona Nagarajan' in GoogleThis author has not been identified. Look up 'Vignesh Manjunath' in GoogleThis author has not been identified. Look up 'Muhammad Tanveer Ali Ahmad' in GoogleThis author has not been identified. Look up 'Marcel Baunach' in Google

runs on WebDSL