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

29–30 Sept 2021

Virtual Event

Europe/Amsterdam timezone

MBSE2021
Objectives
Programme
Committees
Calendar of Events
Registration
Future Events

For support please contact:

mbse2021@esa.int

Formal Verification of Space Systems Designed with TASTE

29 Sept 2021, 14:25

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