indico will be upgraded to the latest version on Tuesday 10th Decmeber. It may be unavailable all day.

29–30 Sept 2021
Virtual Event
Europe/Amsterdam timezone

Formal Verification of Space Systems Designed with TASTE

29 Sept 2021, 14:25
20m
Virtual Event

Virtual Event

Speaker

Dr Iulia Dragomir (GMV)

Description

Prerecorded presentation - https://youtu.be/Ld1Rhbss3i4

Presentation materials