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

Activity: Talk or presentationTalk at conference or symposiumScience to science

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