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 proceedingConference paperpeer-review

Original languageEnglish
Title of host publication25th Euromicro Conference on Digital System Design (DSD)
Place of PublicationMaspalomas, Spain
PublisherEUROMICRO
Publication statusAccepted/In press - Sep 2022
Event25th Euromicro Conference on Digital System Design: DSD 2022 - ExpoMeloneras, Maspalomas, Spain
Duration: 31 Aug 20222 Sep 2022
Conference number: 25
https://dsd-seaa2022.iuma.ulpgc.es/

Conference

Conference25th Euromicro Conference on Digital System Design
Abbreviated titleDSD 2022
Country/TerritorySpain
CityMaspalomas
Period31/08/222/09/22
Internet address

Fields of Expertise

  • Information, Communication & Computing

Cite this