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

Name: TEC-ED & TEC-SW Final Presentation Days - December 2016
Start: 2016-12-06T08:00:00+01:00
End: 2016-12-07T18:15:00+01:00
Location: ESA/ESTEC

6–7 Dec 2016

ESA/ESTEC

Europe/Amsterdam timezone

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

Support

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

Verification of Computer-Controlled Systems

7 Dec 2016, 14:00

45m

Newton 2 (ESA/ESTEC)

Newton 2

ESA/ESTEC

Keplerlaan 1 2201 AZ Noordwijk The Netherlands

Ms Elena Alaña Salazar (GMV)

Abstract

06_-_Verification_of_Computer_Controlled_Systems.pdf

Presentations

06a_-_Verification_of_Computer-Controlled_Systems_-_Intro_TO.pdf

06b_-_Verification_of_Computer-Controlled_Systems.pdf

VERICOCOS Website

http://vericocos.gmv.com/

Choose timezone

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

Support

Speaker

Presentation materials