22 October 2015
ESA/ESTEC
UTC timezone

Contract based verification of AADL Models

22 Oct 2015, 10:00
15m
Escape Dance Room (ESA/ESTEC)

Escape Dance Room

ESA/ESTEC

Keplerlaan 1 2201 AZ Noordwijk Zh The Netherlands

Speaker

Mr Stefano Tonetta (FBK)

Presentation materials