BA Abschlussvortrag Michael Trapp / Johannes Wiesböck, Patrick Herter
Title: SoK: Developing Formally Verified Device Drivers
- https://www.insec.cit.tum.de/i20/events/10042367
- BA Abschlussvortrag Michael Trapp / Johannes Wiesböck, Patrick Herter
- 2025-02-05T14:00:00+01:00
- 2025-02-05T15:00:00+01:00
- Title: SoK: Developing Formally Verified Device Drivers
- When Feb 05, 2025 from 02:00 PM to 03:00 PM (Europe/Berlin / UTC100)
- Where per Videokonferenz
-
Add event to calendar
iCal