EASA and Collins Aerospace release a joint Innovation Partnership Contract (IPC) report on the use of Formal Methods for Learning Assurance

Global Media Coverage