General Dynamics UK selects SPARK language for AW159 Lynx Wildcat

General Dynamics UK selects SPARK language for AW159 Lynx Wildcat 10 Sep, 09, Source: Praxis

Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

Related Posts