COMPASS Workshop

Name: COMPASS Workshop
Start: 2015-10-22T08:30:00+00:00
End: 2015-10-22T13:00:00+00:00
Location: ESA/ESTEC

October 22, 2015

ESA/ESTEC

UTC timezone

A Statistical Approach for Timed Reachability in AADL Models

Oct 22, 2015, 11:40 AM

10m

Escape Dance Room (ESA/ESTEC)

Keplerlaan 1 2201 AZ Noordwijk Zh The Netherlands

Open Challenges and Future Directions

Mr Harold Bruintjes (RWTH)

Presentation

12_bruintjes.pdf