Symposium on Dependable Internet of Things in Adverse Environments

  • Anton Saikia (Participant)

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

Description

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

Related content