Model Based Space Systems and Software Engineering ~ MBSE2021

Name: Model Based Space Systems and Software Engineering ~ MBSE2021
Start: 2021-09-29T08:30:00+02:00
End: 2021-09-30T18:00:00+02:00
Location: Virtual Event

Sep 29 – 30, 2021

Virtual Event

Europe/Amsterdam timezone

For support please contact:

mbse2021@esa.int

Formal Verification of Space Systems Designed with TASTE

Sep 29, 2021, 2:25 PM

20m

Virtual Event

Session 3 ~ Model Verification and Validation

Dr Iulia Dragomir (GMV)

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

1425 - Formal Verification of Space Systems Designed with TASTE.pdf

1425 - formal verification of space systems designed with taste.PDF

1425 - Q&A.pdf

Model Based Space Systems and Software Engineering ~ MBSE2021

For support please contact:

Formal Verification of Space Systems Designed with TASTE

Virtual Event

Speaker

Description

Presentation materials

Choose timezone

Model Based Space Systems and Software Engineering ~ MBSE2021

For support please contact:

Speaker

Description

Presentation materials