3rd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2009

Name: 3rd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2009
Start: 2009-11-03T09:00:00+00:00
End: 2009-11-05T18:00:00+00:00
Location: ESA/ESTEC

3–5 Nov 2009

ESA/ESTEC

UTC timezone

ADCSS 2009
Scope & Topics
Timetable
Committees
Contribution List
Speaker List
Previous Workshops

From System Dependability to Software Dependability: Assistance of Formal Methods

4 Nov 2009, 15:20

40m

Newton Conference Center (ESA/ESTEC)

Newton Conference Center

ESA/ESTEC

Formal Methods in Software Engineering

P. Bieber (ONERA)

There are no materials yet.

Choose timezone

3rd ESA Workshop on Avionics, Data, Control and Software Systems - ADCSS 2009

Speaker

Presentation materials