Symposium on Dependable Internet of Things in Adverse Environments

Activity: Participation in or organisation ofConference or symposium (Participation in/Organisation of)

Description

Presented "Formal Verification of Real-Time OS" from Sub-Project B Verified Dependability by design
Period22 Sep 2022
Event typeOther
Conference number3
LocationGraz, AustriaShow on map