TEC-ED & TEC-SW Final Presentation Days - June 2016

Name: TEC-ED & TEC-SW Final Presentation Days - June 2016
Start: 2016-06-09T08:00:00+02:00
End: 2016-06-10T15:50:00+02:00
Location: ESA/ESTEC

9–10 Jun 2016

ESA/ESTEC

Europe/Amsterdam timezone

Final Presentation Days
Timetable
Registration
Accommodation
Participant List
Venue & Practical Information
Future Events (Mailing List)

Support

kathleen.gerlo@esa.int
+31 715 65 37 81

Formal Methods Expert to IMA-SP Kernel Qualification Preparation

9 Jun 2016, 10:20

20m

Einstein (ESA/ESTEC)

Einstein

ESA/ESTEC

Keplerlaan 1 2201 AZ Noordwijk The Netherlands

Dr Andrew Butterfield (LERO)

Presentation

02b_-_IMA_FM_KQP.pdf

TEC-ED & TEC-SW Final Presentation Days - June 2016

Support

Formal Methods Expert to IMA-SP Kernel Qualification Preparation

Einstein

ESA/ESTEC

Speaker

Presentation materials

Choose timezone

TEC-ED & TEC-SW Final Presentation Days - June 2016

Support

Speaker

Presentation materials