Avia & Tech April 27, 2023 EASA and Collins Aerospace release a joint Innovation Partnership Contract (IPC) report on the use of Formal Methods for Learning Assurance [pdf] EASA & Collins Aerospace: IPC Project ForMuLA – Formal Methods Use for Leaning Assurance Official news published at https://www.easa.europa.eu/en/newsroom-and-events/news/easa-and-collins-aerospace-release-joint-innovation-partnership-contract Previous articleEventConnect Sports Announces a New Partnership With AthletxNext articleATP Flight School and United Airlines Celebrate Milestone With Fly-in at Ft. Myers Training Center Share FacebookTwitterPinterestWhatsApp Vice President Harris Kicks off her Nationwide Economic Opportunity Tour Politics RN editor - May 3, 2024 0 Read more Office of Public Affairs | U.S. Army Financial Counselor Pleads Guilty to Defrauding Gold Star Families Law RN editor - May 3, 2024 0 Read more READOUT: Deputy Secretary of the Treasury Wally Adeyemo’s Meeting with Minister of Finance Sergii Marchenko of Ukraine Finance RN editor - May 3, 2024 0 Read more