Verifying Liveness and Real-Time of OS-Based Embedded Software

  • Leandro Batista Ribeiro (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Period31 Aug 2022
Event title25th Euromicro Conference on Digital System Design: DSD 2022
Event typeConference
Conference number25
LocationMaspalomas, SpainShow on map
Degree of RecognitionInternational