Simulation and EGSE for Space Programmes (SESP2012)

Name: Simulation and EGSE for Space Programmes (SESP2012)
Start: 2012-09-25T08:00:00+00:00
End: 2012-09-27T18:00:00+00:00
Location: ESA/ESTEC

25–27 Sept 2012

ESA/ESTEC

UTC timezone

Introduction
Objectives
Topics
Timetable
Programme Committee
Posters
Contribution List
Author List

Support

kathleen.gerlo@esa.int
0031 (0) 715 65 3781

Formal Verification in Early Mission Planning

25 Sept 2012, 12:00

30m

Newton Conference Centre (ESA/ESTEC)

Newton Conference Centre

ESA/ESTEC

Keplerlaan 1 2201 AZ Noordwijk The Netherlands

Simulators and Models

Mr Andreas Gerndt (DLR) Mr Andreas Maibaum (DLR) Mr Daniel Lüdtke (DLR) Mr Philipp Fischer (DLR) Mr Volker Schaus (DLR)

Paper

S2_1200_Fischer.pdf

Presentation

1200_-_Formal_Verification.pdf

Simulation and EGSE for Space Programmes (SESP2012)

Support

Formal Verification in Early Mission Planning

Newton Conference Centre

ESA/ESTEC

Primary authors

Presentation materials