Fingerprint
Dive into the research topics of 'Verifying Liveness and Real-Time of OS-Based Embedded Software'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verifying Liveness and Real-Time of OS-Based Embedded Software
Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Carsten Baunach
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review