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

Assessing the Formal Development of a Secure Partitioning Kernel with the B-Method

4 Nov 2009, 11:30

40m

Newton Conference Center (ESA/ESTEC)

Newton Conference Center

ESA/ESTEC

Formal Methods in Software Engineering

A. Passos (Critical Software)

There are no materials yet.

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

Speaker

Presentation materials