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

Formal Verification and Validation of AADL Models

4 Nov 2009, 14:40

40m

Newton Conference Center (ESA/ESTEC)

Newton Conference Center

ESA/ESTEC

Formal Methods in Software Engineering

T. Noll (RWTH) VY Nguyen (RWTH)

There are no materials yet.

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

Formal Verification and Validation of AADL Models

Newton Conference Center

ESA/ESTEC

Speakers

Presentation materials